From 42629e79bd563fbe6b0d395cb036afb172239d0e Mon Sep 17 00:00:00 2001
From: Jason N <admin@cyderize.org>
Date: Fri, 10 May 2024 15:56:07 +1000
Subject: [PATCH] Increase development version

---
 MiniZincIDE/MiniZincIDE.pri | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/MiniZincIDE/MiniZincIDE.pri b/MiniZincIDE/MiniZincIDE.pri
index 2d1eca1..d84b193 100644
--- a/MiniZincIDE/MiniZincIDE.pri
+++ b/MiniZincIDE/MiniZincIDE.pri
@@ -1,6 +1,6 @@
 QT       += core gui widgets websockets
 
-VERSION = 2.8.4
+VERSION = 2.8.5
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {