diff --git a/CHANGES.md b/CHANGES.md
index 8dca4780373..2fcdce88ec0 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -5,6 +5,35 @@ 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.14.2 (2024-03-12)
+-------------------
+
+### Fixed
+
+- fix compilation on non-glibc systems due to `signal.h` not being pulled in
+  spawn stubs. (#10256, @emillon)
+
+3.14.1 (2024-03-11)
+-------------------
+
+### Fixed
+
+- When a directory is changed to a file, correctly remove it in subsequent
+  `dune build` runs. (#9327, fix #6575, @emillon)
+
+- Fix a problem with the doc-new target where transitive dependencies were
+  missed during compile. This leads to missing expansions in the output docs.
+  (#9955, @jonludlam)
+
+- coq: fix performance regression in coqdep unescaping (#10115, fixes #10088,
+  @ejgallego, thanks to Dan Christensen for the report)
+
+- coq: memoize coqdep parsing, this will reduce build times for Coq users, in
+  particular for those with many .v files (#10116, @ejgallego, see also #10088)
+
+- on Windows, use an unicode-aware version of `CreateProcess` to avoid crashes
+  when paths contains non-ascii characters. (#10212, fixes #10180, @emillon)
+
 3.14.0 (2024-02-12)
 -------------------
 
diff --git a/doc/changes/10115.md b/doc/changes/10115.md
deleted file mode 100644
index 20d2802df9b..00000000000
--- a/doc/changes/10115.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- coq: fix performance regression in coqdep unescaping (#10115, fixes
-  #10088, @ejgallego, thanks to Dan Christensen for the report)
diff --git a/doc/changes/10116.md b/doc/changes/10116.md
deleted file mode 100644
index 257f6ab3ee1..00000000000
--- a/doc/changes/10116.md
+++ /dev/null
@@ -1,3 +0,0 @@
-- coq: memoize coqdep parsing, this will reduce build times for Coq
-  users, in particular for those with many .v files (#10116,
-  @ejgallego, see also #10088)
diff --git a/doc/changes/10212.md b/doc/changes/10212.md
deleted file mode 100644
index fd5528aaa3a..00000000000
--- a/doc/changes/10212.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- on Windows, use an unicode-aware version of `CreateProcess` to avoid crashes
-  when paths contains non-ascii characters. (#10212, fixes #10180, @emillon)
diff --git a/doc/changes/10256.md b/doc/changes/10256.md
deleted file mode 100644
index b68dc869872..00000000000
--- a/doc/changes/10256.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- fix compilation on non-glibc systems due to `signal.h` not being pulled in
-  spawn stubs. (#10256, @emillon)
diff --git a/doc/changes/9327.md b/doc/changes/9327.md
deleted file mode 100644
index 3062f862cbd..00000000000
--- a/doc/changes/9327.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- When a directory is changed to a file, correctly remove it in subsequent
-  `dune build` runs. (#9327, fix #6575, @emillon)
diff --git a/doc/changes/9955.md b/doc/changes/9955.md
deleted file mode 100644
index 58b0c28b873..00000000000
--- a/doc/changes/9955.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- Fix a problem with the doc-new target where transitive dependencies were missed during
-  compile. This leads to missing expansions in the output docs. (#9955, @jonludlam)