From 4e2207f527eb1c7cfbdb23b4c161b7c6d70b2abe Mon Sep 17 00:00:00 2001 From: Jason N Date: Wed, 2 Oct 2024 15:45:26 +1000 Subject: [PATCH] Update changelog for 2.8.7 --- MiniZincIDE/CHANGES | 4 ++++ 1 file changed, 4 insertions(+) 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.