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 [email protected]
(cherry picked from commit dc53cd5)

@hppritcha I marked this as v2.1.1. It's zero risk for v2.1.0, but just on the principle of "let's stop shoving things into v2.1.0 so that we can get it out the door", I pushed it off to v2.1.1. But I don't feel strongly either way.

[skip ci]
bot:notest

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

Signed-off-by: Jeff Squyres <[email protected]>
(cherry picked from commit dc53cd5)
@jsquyres jsquyres added this to the v2.1.1 milestone Mar 2, 2017
@jsquyres jsquyres requested a review from hppritcha March 2, 2017 15:47
@hppritcha hppritcha merged commit a4174ef into open-mpi:v2.x Mar 29, 2017
@jsquyres jsquyres deleted the pr/v2.1.x/mpi-wtick-man-page-fix branch August 2, 2018 16:57
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