doing a release: this is about mat2, not mat (!36) · Merge requests · jvoisin / mat2 · GitLab

The source project of this merge request has been removed.

georg requested to merge (removed):fix-release-instructions into master Mar 07, 2019

Additionally, fix a typo.