Description
Hi there, creating this issue since talking with @krassowski seems like all things under the 1.13.0 milestone have been addressed.
So just to be sure, does it make sense to do a 1.13.0 release @ccordoba12 ? Or maybe is there something pending to do that is not being reflected in the GitHub milestone?
Also, if needed, I think I could help doing the release (at least from a quick check seems like permissions wise I could do a release 🤔)