Skip to content

Commit a3ed6d1

Browse files
authored
chore: merge 3.11.1 changelog (#8896)
Signed-off-by: Etienne Millon <[email protected]>
1 parent 27c6033 commit a3ed6d1

File tree

3 files changed

+8
-2
lines changed

3 files changed

+8
-2
lines changed

CHANGES.md

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,14 @@ If you're a contributor, please include your CHANGES entry in a file
55
`doc/changes/$PR_NAME.md`. At release time, it will be incoporated into the
66
changelog properly.
77

8+
3.11.1 (2023-10-09)
9+
-------------------
10+
11+
- Fix `dune rpc` commands on Windows (#8806, fixes #8799, @nojb)
12+
13+
- Fix `inline_tests` when the partition list is empty (#8849, fixes #8848,
14+
@hhugo)
15+
816
3.11.0 (2023-09-22)
917
-------------------
1018

doc/changes/8806.md

Lines changed: 0 additions & 1 deletion
This file was deleted.

doc/changes/8848.md

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)