Skip to content

Conversation

@artpol84
Copy link
Contributor

This reverts commit 71da0fc.
(per #4052).

@artpol84
Copy link
Contributor Author

Ref: #3980

This reverts commit 71da0fc.
(per open-mpi#4052).
Refs: open-mpi#3980

Signed-off-by: Artem Polyakov <artpol84@gmail.com>
@artpol84 artpol84 force-pushed the revert_71da0f/master branch from 4ddf153 to 10d6e90 Compare August 14, 2017 14:38
@rhc54 rhc54 merged commit 0118e32 into open-mpi:master Aug 14, 2017
@rhc54 rhc54 deleted the revert_71da0f/master branch August 14, 2017 16:23
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.

2 participants