Merge pull request #1725 from JetBrains/merge/mps20251

Merge maintenance/mps20241 into maintenance/mps20251

Author: mps-ci-buildbot

build.gradle.kts

@@ -145,7 +145,7 @@ bundledDependencies {
         dependency("org.apache.commons:commons-collections4:4.5.0")
         dependency("com.google.guava:guava:33.5.0-jre")
         dependency("net.sf.trove4j:trove4j:3.0.3")
-        dependency("io.vavr:vavr:0.10.7")
+        dependency("io.vavr:vavr:0.11.0")
 
         configuration {
             isTransitive = false

gradle/wrapper/gradle-wrapper.jar

@@ -1,6 +1,6 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-9.2.1-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-9.3.1-bin.zip
 networkTimeout=10000
 validateDistributionUrl=true
 zipStoreBase=GRADLE_USER_HOME