Skip to content

v0.7.3

Choose a tag to compare

@jorgensd jorgensd released this 08 Feb 13:36
· 73 commits to release since this release

Important

Every user is suggested to update from v0.7.2 to v0.7.3 as a bug affecting openmpi has been fixed in #56

Other fixes

Full Changelog: v0.7.2...v0.7.3