From e276ad56cdc1cdfc007cb9aa58d8c5dc0cb291d7 Mon Sep 17 00:00:00 2001 From: Jason N Date: Fri, 31 May 2024 11:11:44 +1000 Subject: [PATCH] Add changelog for 2.8.5 --- MiniZincIDE/CHANGES | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index b8488d9..e5f8f6e 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,7 @@ +2024-05-31 + v2.8.5 +- Update to MiniZinc 2.8.5. + 2024-05-10 v2.8.4 - Fix bundled OpenSSL libraries on Windows.