From ab1975cf4580c2989f3286be54cf5ed2abdb151d Mon Sep 17 00:00:00 2001
From: Etienne Millon <me@emillon.org>
Date: Wed, 26 Jul 2023 17:36:11 +0200
Subject: [PATCH] Merge 3.9.2 changelog (#8272)

(also fixes issue number)

Signed-off-by: Etienne Millon <me@emillon.org>
---
 CHANGES.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 38622b367277..26dba5b26ad7 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -24,13 +24,16 @@ Unreleased
 - Improve `dune describe external-lib-deps` by adding the internal dependencies
   for more information. (#7478, @moyodiallo)
 
-- Fix permission errors when `sendfile` is not available (#8234, fixes #8120,
-  @emillon)
+3.9.2 (2023-07-25)
+------------------
 
 - Disable background digests on Windows. This prevents an issue where
   unremovable files would make dune crash when the shared cache is enabled.
   (#8243, fixes #8228, @emillon)
 
+- Fix permission errors when `sendfile` is not available (#8234, fixes #8210,
+  @emillon)
+
 3.9.1 (2023-07-06)
 ------------------