Closed lrytz closed 1 month ago
https://github.com/scala/scala/pull/10846
I'll merge this at the time we announce 2.13.15.
https://github.com/scala/scala/pull/10846