Bump version and add changelog entry

guidotack · guidotack · commit f24f1d070bae · 2019-09-12T10:25:10.000+02:00
diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
@@ -1,3 +1,6 @@
+2019-09-12
+  v2.3.2
+  - Update to MiniZinc 2.3.2.
 2019-07-10
   v2.3.1
   - Remove incorrect symbolic link and fix qt.conf for some bundled distributions.
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.3.1
+VERSION = 2.3.2
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {
