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.
I wonder if it will get to be the official version I name when I submit my paper next week . I have been stuck on 2.12.4 TLS for a while now due to various regressions and the need for literal types support.