Revisions of openmpi-gnu13 2

Adrian Reber's avatar Adrian Reber (adrianr) committed over 1 year ago (revision 2)
Adrian Reber's avatar Adrian Reber (adrianr) committed over 1 year ago (revision 1)