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

OCamlPro · Oct 18, 2023 · e14d9b7 · e14d9b7
1 parent 64ad841
commit e14d9b7
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,11 @@
 ## unreleased
 
+## 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