From 6e9a886e92f64b9351edf5c59ab162cc52601711 Mon Sep 17 00:00:00 2001 From: Guido Tack Date: Fri, 22 Sep 2017 10:50:17 +1000 Subject: [PATCH] Release 2.1.6 (no changes, only update MiniZinc to version 2.1.6) --- MiniZincIDE/CHANGES | 2 ++ MiniZincIDE/MiniZincIDE.pro | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index c10d86d..20474d9 100644 --- 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 index b9250ec..7865fb4 100644 --- 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 {