Skip to content

Conversation

@artpol84
Copy link
Contributor

Signed-off-by: Artem Polyakov artpol84@gmail.com
(cherry picked from commit 35f15a0)

Signed-off-by: Artem Polyakov <artpol84@gmail.com>
(cherry picked from commit 35f15a0)
@artpol84 artpol84 requested a review from jladd-mlnx July 15, 2017 07:48
@artpol84 artpol84 self-assigned this Jul 15, 2017
@artpol84 artpol84 added this to the v3.0.0 milestone Jul 15, 2017
@artpol84 artpol84 requested a review from mike-dubman July 15, 2017 15:54
@bwbarrett bwbarrett merged commit 46f30aa into open-mpi:v3.0.x Jul 17, 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