From a3ed6d180cc8d332f9693699e8f7fcfa5b481491 Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Thu, 12 Oct 2023 10:42:52 +0200 Subject: [PATCH] chore: merge 3.11.1 changelog (#8896) Signed-off-by: Etienne Millon --- CHANGES.md | 8 ++++++++ doc/changes/8806.md | 1 - doc/changes/8848.md | 1 - 3 files changed, 8 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 d47862e88ce..073bde73568 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -5,6 +5,14 @@ If you're a contributor, please include your CHANGES entry in a file `doc/changes/$PR_NAME.md`. At release time, it will be incoporated into the changelog properly. +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)