Skip to content

Update scala-library to 2.13.17#213

Merged
xuwei-k merged 1 commit intoscala:workfrom
scala-steward:update/scala-library-2.13.17
Oct 8, 2025
Merged

Update scala-library to 2.13.17#213
xuwei-k merged 1 commit intoscala:workfrom
scala-steward:update/scala-library-2.13.17

Commits

Commits on Oct 7, 2025