Merge pull request #2887 from mbeddr/renovate/maintenance/mps20241-patch-mpsbuild

Author: Alexander Pann

build.gradle

@@ -14,7 +14,7 @@ ext.defaultReleaseRepository = 'https://artifacts.itemis.cloud/repository/maven-
 
 //MPS version
 ext.mpsMajor = "2024.1"
-ext.mpsBuild = "2024.1.2"
+ext.mpsBuild = "2024.1.3"
 
 //MPS-extensions version
 ext.mpsExtensionsVersion = findNonEmptyProperty('mpsExtensionsVersion') ?: "$mpsMajor.+"