From 4b13c6e9b4266ebb422e3e26340f4b84e47c4683 Mon Sep 17 00:00:00 2001 From: Seth Tisue Date: Mon, 6 Oct 2025 19:42:20 -0700 Subject: [PATCH] Upgrade Scala 2 standard library to 2.13.17 --- community-build/community-projects/stdLib213 | 2 +- project/Build.scala | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/community-build/community-projects/stdLib213 b/community-build/community-projects/stdLib213 index 3f6bdaeafde1..05169c7524a8 160000 --- a/community-build/community-projects/stdLib213 +++ b/community-build/community-projects/stdLib213 @@ -1 +1 @@ -Subproject commit 3f6bdaeafde17d790023cc3f299b81eaaf876ca3 +Subproject commit 05169c7524a8b3fab70bd8e794248edd6106149c diff --git a/project/Build.scala b/project/Build.scala index 9c4fbafbb330..490692ec4ea3 100644 --- a/project/Build.scala +++ b/project/Build.scala @@ -170,8 +170,8 @@ object Build { * scala-library. */ def stdlibVersion(implicit mode: Mode): String = mode match { - case NonBootstrapped => "2.13.16" - case Bootstrapped => "2.13.16" + case NonBootstrapped => "2.13.17" + case Bootstrapped => "2.13.17" } /** Version of the scala-library for which we will generate TASTy. @@ -181,7 +181,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.16" + val stdlibBootstrappedVersion = "2.13.17" val dottyOrganization = "org.scala-lang" val dottyGithubUrl = "https://github.com/scala/scala3" @@ -2834,7 +2834,7 @@ object Build { "org.scalameta" % "mtags-interfaces" % mtagsVersion, "com.google.guava" % "guava" % "33.2.1-jre", ), - libraryDependencies += ("org.scalameta" % "mtags-shared_2.13.16" % mtagsVersion % SourceDeps), + libraryDependencies += ("org.scalameta" % "mtags-shared_2.13.17" % mtagsVersion % SourceDeps), ivyConfigurations += SourceDeps.hide, transitiveClassifiers := Seq("sources"), scalacOptions ++= Seq("-source", "3.3"), // To avoid fatal migration warnings