diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
index ae857a5..424ceb6 100644
--- a/MiniZincIDE/CHANGES
+++ b/MiniZincIDE/CHANGES
@@ -1,3 +1,6 @@
+2016-12-20
+  v2.1.2
+  - Update to MiniZinc 2.1.2.
 2016-12-14
   v2.1.1
   - Add option to print mzn2fzn statistics to project configuration.
diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro
index e4fae1e..cf411f8 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.1
+VERSION = 2.1.2
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {