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)