Skip to content

Conversation

@jsquyres
Copy link
Member

Signed-off-by: Benoît Legat [email protected]
(cherry picked from commit 00600c7)

Thanks to @blegat

v3.1.x RMs: this is a trivial man page fix. But in the spirit of not piling on the v3.1.0 release, I'm marking this as v3.1.1.

Signed-off-by: Benoît Legat <[email protected]>
(cherry picked from commit 00600c7)
@jsquyres jsquyres added this to the v3.1.1 milestone Mar 13, 2018
@jsquyres jsquyres requested a review from hppritcha March 13, 2018 15:34
@bwbarrett bwbarrett merged commit f89326f into open-mpi:v3.1.x Mar 13, 2018
@jsquyres jsquyres deleted the pr/v3.1.x/man-page-typo-fix branch March 22, 2018 01:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants