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

Conversation

@ggouaillardet
Copy link
Contributor

No description provided.

@ggouaillardet
Copy link
Contributor Author

:bot:assign: @jsquyres
:bot:milestone:v1.10.3
:bot🏷️bug
:bot🏷️blocker

@mellanox-github
Copy link

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

@jsquyres
Copy link
Member

👍

rhc54 pushed a commit that referenced this pull request Feb 24, 2016
@rhc54 rhc54 merged commit 6bbdd2f into open-mpi:v1.10 Feb 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