Merge branch 'autotools-update' into 'master'
Autotools update Adds additional libraries for MPI and an option for the gcc address sanitizer. See merge request !6 Former-commit-id: a18be2a8b1b2cf35b15336eeb93e59bbac2d79b1
Please register or sign in to comment