CHANGES log for the release v2.5.2 (#907)

OCamlPro · Oct 18, 2023 · c634406 · c634406
1 parent 626e1ea
commit c634406
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -7,6 +7,12 @@
 ### Build
 * use OCaml 4.08.1 as the minimal supported version (PR #803)
 
+## v2.5.2
+
+### Bug fixes
+* Hot fix for a soundness bug related with the `distinct` statement (#890)
+* Treat missing values in models as abstract (#860)
+
 ## v2.5.1
 
 ### Bug fixes