From 7cbb0e7277c6cacd1ccf7941cac5a03c25fc63cf Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Mon, 9 Oct 2023 13:08:29 +0200 Subject: [PATCH] Prepare 3.11.1 (#8895) * Prepare 3.11.1 Signed-off-by: Etienne Millon * Update CHANGES.md Co-authored-by: Ali Caglayan Signed-off-by: Etienne Millon --------- Signed-off-by: Etienne Millon Signed-off-by: Etienne Millon Co-authored-by: Ali Caglayan --- CHANGES.md | 7 +++++++ doc/changes/8806.md | 1 - doc/changes/8848.md | 1 - 3 files changed, 7 insertions(+), 2 deletions(-) delete mode 100644 doc/changes/8806.md delete mode 100644 doc/changes/8848.md diff --git a/CHANGES.md b/CHANGES.md index 7d4679b8cfa..490df5faff0 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,10 @@ +3.11.1 (2023-10-09) +------------------- + +- Fix `dune rpc` commands on Windows (#8806, fixes #8799, @nojb) + +- Fix `inline_tests` when the partition list is empty (#8849, fixes #8848, @hhugo) + 3.11.0 (2023-09-22) ------------------- diff --git a/doc/changes/8806.md b/doc/changes/8806.md deleted file mode 100644 index a51e1de13d0..00000000000 --- a/doc/changes/8806.md +++ /dev/null @@ -1 +0,0 @@ -- Fix `dune rpc` commands on Windows (#8806, fixes #8799, @nojb) diff --git a/doc/changes/8848.md b/doc/changes/8848.md deleted file mode 100644 index 7c949e050b9..00000000000 --- a/doc/changes/8848.md +++ /dev/null @@ -1 +0,0 @@ -- Fix inline_tests when the partition list is empty (#8848, @hhugo)