From 798a4074197483138c2353310006c33bc39686b9 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Tue, 17 Dec 2024 05:05:06 +0000
Subject: [PATCH] fix(deps): update dependency de.itemis.mps:extensions to
 v9999.9.3076.09afec9-snapshot

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

diff --git a/build.gradle b/build.gradle
index 8a73392c9c..03f38871eb 100644
--- a/build.gradle
+++ b/build.gradle
@@ -16,7 +16,7 @@ ext.mpsMajor = "9999.9"
 ext.mpsBuild = "243.21565.10033"
 
 //MPS-extensions version
-ext.mpsExtensionsVersion = "9999.9.3069.5f029aa-SNAPSHOT"
+ext.mpsExtensionsVersion = "9999.9.3076.09afec9-SNAPSHOT"
 
 ext.artifactsDir = new File(rootDir, 'artifacts')