diff --git a/Changes b/Changes
index 5ba168712c3f..75a2a6ead8a3 100644
--- a/Changes
+++ b/Changes
@@ -209,6 +209,10 @@ Working version
   (Nick Roberts; review by Richard Eisenberg, Leo White, and Gabriel Scherer;
   RFC by Stephen Dolan)
 
+- #12442: document jump summaries in the pattern-matching compiler
+  (Gabriel Scherer and Thomas Refis, review by Florian Angeletti
+   and Vincent Laviron)
+
 ### Build system:
 
 - #12198: continue the merge of the sub-makefiles into the root Makefile