We are pleased to announce the v1.3.3 hotfix release for Magma. This release contains contains fixes for some known issues affecting the stability and usability of the v1.3, v1.3.1 and 1.3.2 releases. See the release page for more information and release notes.
This release deprecates the 1.3, 1.3.1 and 1.3.2 releases. Users of release 1.3, 1.3.1 and 1.3.2 are encouraged to implement this upgrade.