Update the changes log for v2.5.1 (#820)

* Update the changes log for v2.5.1 * Review changes
OCamlPro · Sep 14, 2023 · c269efc · c269efc
1 parent cda8e51
commit c269efc
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -5,6 +5,11 @@
 ### Build
 * use OCaml 4.08.1 as the minimal supported version (PR #803)
 
+## v2.5.1
+
+### Bug fixes
+* fix a critical soundness bug with bvnot primitive (#819)
+
 ## v2.5.0
 
 ### New features