Add changelog for 2.8.5

MiniZinc · May 31, 2024 · e276ad5 · e276ad5
1 parent 42629e7
commit e276ad5
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
@@ -1,3 +1,7 @@
+2024-05-31
+ v2.8.5
+- Update to MiniZinc 2.8.5.
+
 2024-05-10
  v2.8.4
 - Fix bundled OpenSSL libraries on Windows.