diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index dabcded..65660ff 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,7 @@ +2024-09-25 + v2.8.6 +- Update to MiniZinc 2.8.6. + 2024-05-03 v2.8.5 - Update to MiniZinc 2.8.5.