Update changelog for 2.8.0

MiniZinc · Nov 15, 2023 · f2b8092 · f2b8092
1 parent 937b65c
commit f2b8092
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
@@ -1,3 +1,11 @@
+2023-11-16
+  v2.8.0
+-  Fix unreadable cheat sheet font colour in dark mode (#191).
+-  Add option to output objective value and enable by default.
+-  Show manually input parameters in output window.
+-  Fix missing checker messages (#192).
+-  Fix incorrect OpenSSL version in Linux packages (#189).
+
 2023-05-20
   v2.7.6
 -  Update to MiniZinc 2.7.6.

diff --git a/MiniZincIDE/MiniZincIDE.pri b/MiniZincIDE/MiniZincIDE.pri
@@ -1,6 +1,6 @@
 QT       += core gui widgets websockets
 
-VERSION = 2.7.7
+VERSION = 2.8.0
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {