Create your free account today to subscribe to this repository for
notifications about new releases, and build software alongside
40 million developers on GitHub.
Sep 12, 2019
since this release
This release fixes crashes identified in 4.0.1. There are no changes in functionality.