From 13607a89ee6a6fd781c1169e3739d61da983094a Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Mon, 31 Jul 2023 14:09:14 +0200 Subject: [PATCH] chore: merge 3.9.3 changelog Signed-off-by: Etienne Millon --- CHANGES.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 859964cf12f..8779b8bbe99 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,8 +1,6 @@ Unreleased ---------- -- Fix flushing when using `sendfile` fallback (#8288, @alan-j-hu) - - Add `dune show rules` as alias of the `dune rules` command. (#8000, @Alizter) - Fix `%{deps}` to expand properly in `(cat ...)` when containing 2 or more @@ -29,6 +27,11 @@ Unreleased - Re-enable background file digests on Windows. The files are now open in a way that prevents race condition around deletion. (#8262, fixes #8268, @emillon) +3.9.3 (2023-07-31) +------------------ + +- Fix flushing when using `sendfile` fallback (#8288, fixes #8284, @alan-j-hu) + 3.9.2 (2023-07-25) ------------------