Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Mar 2, 2017

Thanks to Mark Dixon (@ccaamad) for reporting the error.

Signed-off-by: Jeff Squyres jsquyres@cisco.com
(cherry picked from commit dc53cd5)

[skip ci]
bot:notest

Thanks to Mark Dixon (@ccaamad) for reporting the error.

Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
(cherry picked from commit dc53cd5)
@jsquyres jsquyres added this to the v2.0.3 milestone Mar 2, 2017
@jsquyres jsquyres requested a review from hppritcha March 2, 2017 15:45
@jsquyres jsquyres merged commit 9b222d8 into open-mpi:v2.0.x Mar 6, 2017
@jsquyres jsquyres deleted the pr/v2.0.x/mpi-wtick-man-page-fix branch March 6, 2017 20:23
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.

2 participants