We need to get a release out. Which existing pull requests should be merged first? Do we need to do any more testing? I'm also taking volunteers to [do the release](https://drdoctr.github.io/doctr/releasing.html) (though happy to do it myself again if no one wants to).
We need to get a release out. Which existing pull requests should be merged first? Do we need to do any more testing?
I'm also taking volunteers to do the release (though happy to do it myself again if no one wants to).