From 9983873c97d238d54dcea4f56b4024ddddc16092 Mon Sep 17 00:00:00 2001
From: Pierre Villemot <tiky.halbaroth@gmail.com>
Date: Wed, 18 Oct 2023 14:55:13 +0200
Subject: [PATCH] CHANGES log for the release v2.5.2

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

diff --git a/CHANGES.md b/CHANGES.md
index fb1b736ad..24d1b31c2 100644
--- 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