v3.1.x: configure: Fix typo in configure --help#5061
Merged
bwbarrett merged 1 commit intoopen-mpi:v3.1.xfrom Apr 12, 2018
Merged
v3.1.x: configure: Fix typo in `configure --help`#5061bwbarrett merged 1 commit intoopen-mpi:v3.1.xfrom
bwbarrett merged 1 commit intoopen-mpi:v3.1.xfrom