add Changes log

ocaml · Jun 3, 2020 · 6cb3500 · 6cb3500
1 parent 7d30eb7
commit 6cb3500
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -8,6 +8,9 @@ Working version
   OCaml.
   (Gabriel Scherer, review by Xavier Leroy)
 
+- #9584, #7074: Allow to name existentials in pattern-matching
+  (Jacques Garrigue, review by ?)
+
 ### Runtime system:
 
 - #1795, #9543: modernize signal handling on Linux i386, PowerPC, and s390x,