Update release date

MiniZinc · Jun 2, 2024 · b1da70d · b1da70d
1 parent e276ad5
commit b1da70d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
@@ -1,4 +1,4 @@
-2024-05-31
+2024-05-03
   v2.8.5
 -  Update to MiniZinc 2.8.5.