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)