Scala 2.13.12

scala · Sep 20, 2023 · f67d50b · f67d50b
1 parent 2486191
commit f67d50b
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 4 deletions.
diff --git a/community-build/community-projects/stdLib213 b/community-build/community-projects/stdLib213
diff --git a/project/Build.scala b/project/Build.scala
@@ -123,8 +123,8 @@ object Build {
    *  scala-library.
    */
   def stdlibVersion(implicit mode: Mode): String = mode match {
-    case NonBootstrapped => "2.13.10"
-    case Bootstrapped => "2.13.10"
+    case NonBootstrapped => "2.13.12"
+    case Bootstrapped => "2.13.12"
   }
 
   /** Version of the scala-library for which we will generate TASTy.
@@ -134,7 +134,7 @@ object Build {
    *  We can use nightly versions to tests the future compatibility in development.
    *  Nightly versions: https://scala-ci.typesafe.com/ui/native/scala-integration/org/scala-lang
    */
-  val stdlibBootstrappedVersion = "2.13.12-bin-364ee69"
+  val stdlibBootstrappedVersion = "2.13.12"
 
   val dottyOrganization = "org.scala-lang"
   val dottyGithubUrl = "https://github.com/lampepfl/dotty"

diff --git a/project/MiMaFilters.scala b/project/MiMaFilters.scala
@@ -90,6 +90,9 @@ object MiMaFilters {
         "scala.collection.IterableOnceOps#Maximized.this", // New in 2.13.11: private inner class
         "scala.util.Properties.<clinit>",
         "scala.util.Sorting.scala$util$Sorting$$mergeSort$default$5",
+        // New in 2.13.12 -- can be removed once scala/scala#10549 lands in 2.13.13
+        // and we take the upgrade here
+        "scala.collection.immutable.MapNodeRemoveAllSetNodeIterator.next",
       ).map(ProblemFilters.exclude[DirectMissingMethodProblem])
     }
   )