Skip to content

Conversation

@jladd-mlnx
Copy link
Member

Fixes #2483
Signed-off-by: Joshua Ladd joshual@mellanox.com

(cherry picked from commit dc6f4a0)

@jladd-mlnx jladd-mlnx added this to the v2.0.2 milestone Dec 7, 2016
@jladd-mlnx jladd-mlnx added the bug label Dec 7, 2016
Fixes open-mpi#2483
Signed-off-by: Joshua Ladd <joshual@mellanox.com>

(cherry picked from commit dc6f4a0)
@hppritcha
Copy link
Member

this PR needs a reviewer

@hppritcha
Copy link
Member

@jsquyres ready to go

@jsquyres jsquyres merged commit ac8c019 into open-mpi:v2.0.x Dec 7, 2016
@hppritcha hppritcha mentioned this pull request Feb 10, 2017
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