Update CHANGES.md

LPCIC · Dec 13, 2024 · dd169fc · dd169fc
1 parent 1456dbe
commit dd169fc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -4,6 +4,7 @@ Requires Menhir 20211230 and OCaml 4.13 or above.
 
 - Compiler:
   - Store timing info only optionally to restore build reproducibility
+  - Fix collision between kinds and types in namespace handling
 
 # v2.0.5 (December 2024)