We are pleased to announce a new minor release from our stable branch. As is the tradition with software, here is our first patch release following shortly behind our major 13.0.0 release announced a few weeks ago. It fixes some important bugs that were discovered after the release. Many thanks to everyone who reported issues and helped with testing the fixes for this release. We appreciate it! For those of you on 0.
