From 774bb663f14d26e7610249e8c933771c03aedb19 Mon Sep 17 00:00:00 2001 From: Jason N Date: Wed, 25 Sep 2024 15:04:56 +1000 Subject: [PATCH] Update changelog for 2.8.6 --- MiniZincIDE/CHANGES | 4 ++++ 1 file changed, 4 insertions(+) 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.