From b1da70d7644a834e3a7f5960b7848c0b611368a1 Mon Sep 17 00:00:00 2001 From: Jason N Date: Mon, 3 Jun 2024 09:18:18 +1000 Subject: [PATCH] Update release date --- MiniZincIDE/CHANGES | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index e5f8f6e..dabcded 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,4 +1,4 @@ -2024-05-31 +2024-05-03 v2.8.5 - Update to MiniZinc 2.8.5.