Merge pull request #2551 from mbeddr/feature/mps-2023.2.1

Upgrade to MPS 2023.2.1
mbeddr · Oct 9, 2024 · aca21e0 · aca21e0
2 parents 0fb1edb + cac354e
commit aca21e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -20,7 +20,7 @@ ext.defaultReleaseRepository = 'https://artifacts.itemis.cloud/repository/maven-
 
 //MPS version
 ext.mpsMajor = "2023.2"
-ext.mpsBuild = "2023.2"
+ext.mpsBuild = "2023.2.1"
 
 //MPS-extensions version
 ext.mpsExtensionsVersion = findNonEmptyProperty('mpsExtensionsVersion') ?: "$mpsMajor.+"