Skip to content

Conversation

@hjelmn
Copy link
Member

@hjelmn hjelmn commented Apr 10, 2017

Fixes #3267

Signed-off-by: Nathan Hjelm hjelmn@lanl.gov
(cherry picked from commit fad0803)
Signed-off-by: Nathan Hjelm hjelmn@lanl.gov

Fixes open-mpi#3267

Signed-off-by: Nathan Hjelm <hjelmn@lanl.gov>
(cherry picked from commit fad0803)
Signed-off-by: Nathan Hjelm <hjelmn@lanl.gov>
@hjelmn hjelmn added the bug label Apr 10, 2017
@hjelmn hjelmn added this to the v2.1.1 milestone Apr 10, 2017
@hjelmn hjelmn requested a review from artpol84 April 10, 2017 18:26
@artpol84
Copy link
Contributor

👍

@hppritcha
Copy link
Member

@artpol84 you need to check off in the review box.

Copy link
Contributor

@artpol84 artpol84 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@hppritcha hppritcha merged commit 83b0a37 into open-mpi:v2.x Apr 10, 2017
@hppritcha hppritcha mentioned this pull request Apr 11, 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