diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index b3e1d2c..75b1bbb 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,7 @@ +2023-05-20 + v2.7.6 +- Update to MiniZinc 2.7.6. + 2023-06-07 v2.7.5 - Use native Qt dark mode on Windows where supported.