Skip to content

Conversation

@jladd-mlnx
Copy link
Member

@jladd-mlnx jladd-mlnx commented Oct 10, 2016

Cherry-picked from: 4f1b63d

@jladd-mlnx jladd-mlnx added this to the v2.1.0 milestone Oct 10, 2016
@jsquyres
Copy link
Member

@hppritcha Good to go.

@hppritcha hppritcha merged commit b27b2d5 into open-mpi:v2.x Oct 11, 2016
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