From 3f973de9938e6d359c36d0290b06a21cfd34965a Mon Sep 17 00:00:00 2001
From: Guido Tack <guido.tack@monash.edu>
Date: Sat, 17 Oct 2015 18:19:03 +1100
Subject: [PATCH] Change log and bump version

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

diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES
index 2dde1a3..e6da3b1 100644
--- a/MiniZincIDE/CHANGES
+++ b/MiniZincIDE/CHANGES
@@ -1,3 +1,8 @@
+?
+  v2.0.8
+  - Only disable the run and compile actions when a solving process is currently
+    running (keep editor and rest of the user interface enabled).
+  - Keep editor font setting synchronised across different IDE windows.
 2015-10-06
   v2.0.7
   - Changed version number scheme to coincide with MiniZinc version.
diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro
index f9455e7..b1485d5 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.7
+VERSION = 2.0.8
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {