Update standard library to 2.13.17

[OndrejSpanel]

Similar to #22386, some fixes in the Scala 2.13 library are still relevant for Scala 3 developers. This might change with Scala 3.8, but until then, I think the stdlib should be updated.

Our project is hit by scala/bug#13058 in particular, which was already fixed in January 2025, but the fix is not present in the recent Scala 3 versions, including 3.7.4 RC (see https://github.com/scala/scala3/blob/release-3.7.4/project/Build.scala)

Could Scala library be updated to 2.13.17 for 3.7.4?

[OndrejSpanel]

As a reminder to myself, and other people in need of more recent stdlib than the one offered by the default package. this is how you can pull in a more recent version:

https://users.scala-lang.org/t/what-scala-library-version-is-used-by-which-scala-3-version/9999/7?u=ondrejspanel

libraryDependencies += scalaOrganization.value % "scala-library" % "2.13.xx"

[Gedochao]

Could Scala library be updated to 2.13.17 for 3.7.4?

@WojciechMazur thoughts?

[WojciechMazur]

Could Scala library be updated to 2.13.17 for 3.7.4?

Sure, we can do it in RC2, but it needs to be done before the 3.8.0-RC1 cutoff, that's when we want 3.7.4 to be released. AFAIK the draft PR upgrading to 2.13.17 has issues to be resolved first