Merge pull request #2657 from mbeddr/renovate/mpsextensionsversion

mbeddr · Dec 18, 2024 · 73b31b5 · 73b31b5
2 parents 5305032 + 798a407
commit 73b31b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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')