From dd169fcb742c0444b1ecfc7a450c77aa344856e6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 13 Dec 2024 15:44:23 +0100
Subject: [PATCH] Update CHANGES.md

---
 CHANGES.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGES.md b/CHANGES.md
index ca10beeb..c90e4f44 100644
--- 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)