Skip to content

Commit

Permalink
chore: merge 3.11.1 changelog (#8896)
Browse files Browse the repository at this point in the history
Signed-off-by: Etienne Millon <me@emillon.org>
  • Loading branch information
emillon committed Oct 12, 2023
1 parent 27c6033 commit a3ed6d1
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 2 deletions.
8 changes: 8 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -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)
-------------------

Expand Down
1 change: 0 additions & 1 deletion doc/changes/8806.md

This file was deleted.

1 change: 0 additions & 1 deletion doc/changes/8848.md

This file was deleted.

0 comments on commit a3ed6d1

Please sign in to comment.