Skip to content

Commit 681c5be

Browse files
committed
chore: merge 3.9.1 changelog
Signed-off-by: Etienne Millon <me@emillon.org>
1 parent dee2c39 commit 681c5be

File tree

1 file changed

+6
-3
lines changed

1 file changed

+6
-3
lines changed

CHANGES.md

+6-3
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
11
Unreleased
22
----------
33

4+
- Add `dune build --dump-gc-stats FILE` argument to dump Garbage Collection
5+
stats to a named file. (#8072, @Alizter)
6+
7+
3.9.1 (2023-07-06)
8+
------------------
9+
410
- Disable background operations and threaded console on MacOS and other Unixes
511
where we rely on fork. (#8100, #8121, fixes #8083, @rgrinberg, @emillon)
612

713
- Initialize async IO thread lazily. (#8122, @emillon)
814

9-
- Add `dune build --dump-gc-stats FILE` argument to dump Garbage Collection
10-
stats to a named file. (#8072, @Alizter)
11-
1215
3.9.0 (2023-06-28)
1316
------------------
1417

0 commit comments

Comments
 (0)