diff --git a/CHANGES.md b/CHANGES.md
index 833fa3e1418..676cfc6560c 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,21 @@
+3.13.1 (2024-02-05)
+-------------------
+
+- Fix performance regression for incremental builds (#9769, fixes #9738,
+  @rgrinberg)
+
+- Fix `dune ocaml top-module` to correctly handle absolute paths. (#8249, fixes
+  #7370, @Alizter)
+
+- subst: ignore broken symlinks when looking at source files (#9810, fixes
+  #9593, @emillon)
+
+- subst: do not fail on 32-bit systems when large files are encountered. Just
+  log a warning in this case. (#9811, fixes #9538, @emillon)
+
+- boot: sort directory entries in readdir. This makes the dune binary
+  reproducible in terms of filesystem order. (#9861, fixes #9794, @emillon)
+
 3.13.0 (2024-01-16)
 -------------------
 
diff --git a/doc/changes/8249.md b/doc/changes/8249.md
deleted file mode 100644
index a97b6fd419b..00000000000
--- a/doc/changes/8249.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- Fix `dune ocaml top-module` to correctly handle absolute paths. (#8249, fixes
-  #7370, @Alizter)
diff --git a/doc/changes/9769.md b/doc/changes/9769.md
deleted file mode 100644
index b8716047a82..00000000000
--- a/doc/changes/9769.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- Fix performance regression for incremental builds (#9769, fixes #9738,
-  @rgrinberg)
diff --git a/doc/changes/9810.md b/doc/changes/9810.md
deleted file mode 100644
index 64d8bcbd546..00000000000
--- a/doc/changes/9810.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- subst: ignore broken symlinks when looking at source files
-(#9810, fixes #9593, @emillon)
diff --git a/doc/changes/9811.md b/doc/changes/9811.md
deleted file mode 100644
index 86759bea7c9..00000000000
--- a/doc/changes/9811.md
+++ /dev/null
@@ -1 +0,0 @@
-- subst: do not fail on 32-bit systems when large files are encountered. Just log a warning in this case. (#9811, fixes #9538, @emillon)
diff --git a/doc/changes/9861-readdir-boot.md b/doc/changes/9861-readdir-boot.md
deleted file mode 100644
index bb0c54b7b4d..00000000000
--- a/doc/changes/9861-readdir-boot.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- boot: sort directory entries in readdir. This makes the dune binary
-  reproducible in terms of filesystem order. (#9861, fixes #9794, @emillon)