Skip to content
This repository was archived by the owner on Sep 30, 2022. It is now read-only.

Conversation

@rhc54
Copy link

@rhc54 rhc54 commented May 23, 2016

No description provided.

@rhc54 rhc54 added the bug label May 23, 2016
@rhc54 rhc54 added this to the v2.0.0 milestone May 23, 2016
@mellanox-github
Copy link

Test PASSed.
See http://bgate.mellanox.com/jenkins/job/gh-ompi-release-pr/1699/ for details.

@rhc54
Copy link
Author

rhc54 commented May 24, 2016

Patch is identical to #1185, which has been tested by reporting user

👍

@hppritcha
Copy link
Member

looks good!

@hppritcha
Copy link
Member

@jsquyres ready to go

@jsquyres jsquyres merged commit 17c27aa into open-mpi:v2.x May 24, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants