Changes

ocaml · Aug 3, 2023 · 69e1730 · 69e1730
1 parent 278bf52
commit 69e1730
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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