From e88706214b103b877f1ef4e7f2cc3d00f1b0fd53 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 31 Aug 2026 05:07:55 +0000
Subject: [PATCH] Bump MiniZinc IDE version to 2.10.2

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

diff --git a/MiniZincIDE/MiniZincIDE.pri b/MiniZincIDE/MiniZincIDE.pri
index dd9919b..cef75be 100644
--- a/MiniZincIDE/MiniZincIDE.pri
+++ b/MiniZincIDE/MiniZincIDE.pri
@@ -1,6 +1,6 @@
 QT       += core gui widgets websockets
 
-VERSION = 2.10.1
+VERSION = 2.10.2
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {