diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index 65660ff..da7b64d 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,7 @@ +2024-10-02 + v2.8.7 +- Update to MiniZinc 2.8.7. + 2024-09-25 v2.8.6 - Update to MiniZinc 2.8.6.