1 files changed, 5 insertions, 0 deletions
diff --git a/Changes b/Changes
index 80e0d9731c..b0516d4d84 100644
--- a/Changes
+++ b/Changes
@@ -231,9 +231,14 @@ Working version
   Gabriel Scherer)
 
 ### Build system:
+
 - #11590: Allow installing to a destination path containing spaces.
    (Élie Brami, review by Sébastien Hinderer and David Allsopp)
 
+- #11243, #11248, #11268, #11420, #11675: merge the sub-makefiles into
+  the root Makefile.
+  (Sébastien Hinderer, review by David Allsopp and Florian Angeletti)
+
 ### Bug fixes:
 
 - #10664, #11600: Unsoundness in the typing of polymorphic methods