diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index e5f8f6e..dabcded 100644 --- 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.