diff --git a/CHANGES.md b/CHANGES.md
index 71bcad0eb2b..c8780d909dc 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,14 @@
+3.15.2 (2024-04-23)
+-------------------
+
+### Fixed
+
+- If no directory targets are defined, then do not evaluate `enabled_if`
+  (#10442, @rgrinberg)
+
+- Fix a bug where Coq projects were being rebuilt from scratch each time the
+  dependency graph changed. (#10446, fixes #10149, @alizter) 
+
 3.15.1 (2024-04-17)
 -------------------
 
diff --git a/doc/changes/10446.md b/doc/changes/10446.md
deleted file mode 100644
index c38b382f368..00000000000
--- a/doc/changes/10446.md
+++ /dev/null
@@ -1,2 +0,0 @@
-- Fix a bug where Coq projects were being rebuilt from scratch each time the
-  dependency graph changed. (#10446, fixes #10149, @alizter)