From c65e19548598424f766f85f9a7c75f1f6a446fa0 Mon Sep 17 00:00:00 2001
From: Guido Tack <guido.tack@monash.edu>
Date: Thu, 10 Dec 2015 08:39:11 +1100
Subject: [PATCH] Bump version to match MiniZinc 2.0.10 release

---
 MiniZincIDE/CHANGES         | 3 +++
 MiniZincIDE/MiniZincIDE.pro | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
index 2222b99..7ee4076 100644
--- a/MiniZincIDE/CHANGES
+++ b/MiniZincIDE/CHANGES
@@ -1,3 +1,6 @@
+2015-12-10
+  v2.0.10
+  - Updated to include MiniZinc 2.0.10
 2015-12-07
   v2.0.9
   - Remove (unimplemented) menu item for adding files to a project.
diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro
index fbf5a62..4c090db 100644
--- a/MiniZincIDE/MiniZincIDE.pro
+++ b/MiniZincIDE/MiniZincIDE.pro
@@ -11,7 +11,7 @@ greaterThan(QT_MAJOR_VERSION, 4): QT += widgets
 TARGET = MiniZincIDE
 TEMPLATE = app
 
-VERSION = 2.0.9
+VERSION = 2.0.10
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {