Merge branch 'release/2.1.6'

MiniZinc · Sep 22, 2017 · 8a78000 · 8a78000
2 parents 7905f2a + 6e9a886
commit 8a78000
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
@@ -1,4 +1,6 @@
 2017-05-17
+  v2.1.6
+  - Update to MiniZinc 2.1.6.
   v2.1.5
   - Update to MiniZinc 2.1.5.
   - Fix an issue where solver output may not get printed if it occurs too

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.5
+VERSION = 2.1.6
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {