Skip to content

Conversation

rhc54
Copy link
Contributor

@rhc54 rhc54 commented May 31, 2017

Signed-off-by: Ralph Castain rhc@open-mpi.org

…en't apparently fully portable

Signed-off-by: Ralph Castain <rhc@open-mpi.org>
@rhc54
Copy link
Contributor Author

rhc54 commented May 31, 2017

Fixes #3613

Copy link
Member

@bwbarrett bwbarrett left a comment

Choose a reason for hiding this comment

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

Works for me. Thanks for the quick fix!

@rhc54 rhc54 merged commit 6ff2780 into open-mpi:master May 31, 2017
@rhc54 rhc54 deleted the topic/sync branch May 31, 2017 04:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants