From 856c2a6c5d92d7f1741a53f8803a572460d181d6 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Wed, 22 Jan 2025 12:33:05 +0000
Subject: [PATCH] Update dependency de.itemis.mps:extensions to
 v9999.9.3101.7132d7b-SNAPSHOT

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 02bfe9d4e2..9f2757e62f 100644
--- a/build.gradle
+++ b/build.gradle
@@ -10,7 +10,7 @@ ext.mpsMajor = "9999.9"
 ext.mpsBuild = "243.21565.10166"
 
 //MPS-extensions version
-ext.mpsExtensionsVersion = "9999.9.3092.695ec9e-SNAPSHOT"
+ext.mpsExtensionsVersion = "9999.9.3101.7132d7b-SNAPSHOT"
 
 ext.artifactsDir = new File(rootDir, 'artifacts')