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]

[skip ci]
bot:notest

Fixes #3089.

@jsquyres jsquyres added this to the v2.1.1 milestone Mar 2, 2017
@jsquyres jsquyres requested a review from hppritcha March 2, 2017 15:38
Thanks to Mark Dixon (@ccaamad) for reporting the error.

Signed-off-by: Jeff Squyres <[email protected]>
@jsquyres
Copy link
Member Author

jsquyres commented Mar 2, 2017

@hppritcha Oops -- didn't mean to assign you on this one; this PR is for master.

@jsquyres jsquyres merged commit 802deb6 into open-mpi:master Mar 2, 2017
@jsquyres jsquyres deleted the pr/mpi-wtick branch March 2, 2017 15:43
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