If the release hasn't already started, I might see if these are easy merges. Has the release lever been pulled?
Nope, there's still time. I'll hold until those PRs are in unless we uncover something major in them that needs more time.
Thanks for raising this! ap
