Scala 2.13.1 release 🚆

#1

Hi,

We are planning to release Scala 2.13.1 at the end of this month. You can find more details on the release process in https://github.com/scala/scala-dev/issues/645.

We will change the default milestone for new pull requests to 2.13.2 next Monday. Please open any pending pull requests for 2.13.1 until then. The current PR queue is quite large already, any help with trimming it down is appreciated. PRs that are not yet in a mergeable state may be closed. Feel free to reopen them as draft PRs.