From 60bb68031a88c67574bbcf3ed31d28f4d2c23ea9 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Sun, 29 Dec 2024 04:21:53 +0000
Subject: [PATCH] fix(deps): update dependency de.itemis.mps:extensions to
 v9999.9.3085.d8f8582-snapshot

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

diff --git a/build.gradle b/build.gradle
index 03f38871eb..df644058d6 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.3076.09afec9-SNAPSHOT"
+ext.mpsExtensionsVersion = "9999.9.3085.d8f8582-SNAPSHOT"
 
 ext.artifactsDir = new File(rootDir, 'artifacts')