open-mpi/ompi-release — pull request #49 by ggouaillardet (2014-10-23 09:28:05+00:00)
Title: Fix an other typo introduced by transfer of trunk change to v1.8

and not fixed by open-mpi/ompi-release@c7e9cf0a3cf261974ef082c07f02330112e87f01

@rhc54 could you please review this PR ?