Skip to content

Conversation

@jladd-mlnx
Copy link
Member

Signed-off-by: Joshua Ladd jladd.mlnx@gmail.com
(cherry picked from commit b286478)

@jladd-mlnx jladd-mlnx requested a review from yosefe March 6, 2017 22:21
@jladd-mlnx jladd-mlnx added this to the v2.1.0 milestone Mar 6, 2017
Signed-off-by: Joshua Ladd <jladd.mlnx@gmail.com>
(cherry picked from commit b286478)
@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 32f6152 into open-mpi:v2.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