Skip to content

Conversation

hjelmn
Copy link
Member

@hjelmn hjelmn commented Apr 18, 2016

Signed-off-by: Nathan Hjelm [email protected]

@jsquyres
Copy link
Member

Assumedly this needs to also be added to open-mpi/ompi-release#1079 when CI passes.

@hjelmn hjelmn merged commit 178c97b into open-mpi:master Apr 18, 2016
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