Merge pull request #2854 from mbeddr/renovate/master-patch-mpsextensionsversion

fix(deps): update dependency de.itemis.mps:extensions to v9999.9.3191.4587410-snapshot (master)

Author: renovate[bot]

build.gradle

@@ -10,7 +10,7 @@ ext.mpsMajor = "9999.9"
 ext.mpsBuild = "251.23774.216"
 
 //MPS-extensions version
-ext.mpsExtensionsVersion = "9999.9.3188.08cc72a-SNAPSHOT"
+ext.mpsExtensionsVersion = "9999.9.3191.4587410-SNAPSHOT"
 
 ext.artifactsDir = new File(rootDir, 'artifacts')