Skip to content

Conversation

@jladd-mlnx
Copy link
Member

Signed-off-by: Joshua Ladd [email protected]
(cherry picked from commit b286478)

@jladd-mlnx jladd-mlnx added this to the v2.0.3 milestone Mar 6, 2017
@jladd-mlnx jladd-mlnx requested a review from yosefe March 6, 2017 22:24
@jsquyres
Copy link
Member

jsquyres commented Mar 8, 2017

@hppritcha We agreed on this on the call yesterday, so I'm merging.

@jsquyres jsquyres merged commit 90bbee9 into open-mpi:v2.0.x Mar 8, 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.

3 participants