Bump version and add change log

MiniZinc · May 17, 2017 · 7e8c2fa · 7e8c2fa
1 parent de6e151
commit 7e8c2fa
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
@@ -1,3 +1,8 @@
+2017-05-17
+  v2.1.5
+  - Update to MiniZinc 2.1.5.
+  - Fix an issue where solver output may not get printed if it occurs too
+    quickly after the solver has started.
 2017-03-16
   v2.1.4
   - Update to MiniZinc 2.1.4.

diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro
@@ -19,7 +19,7 @@ greaterThan(QT_MAJOR_VERSION, 4): {
 TARGET = MiniZincIDE
 TEMPLATE = app
 
-VERSION = 2.1.4
+VERSION = 2.1.5
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {