Skip to content

Conversation

@hoopoepg
Copy link
Contributor

Signed-off-by: Sergey Oblomov sergeyo@mellanox.com

Signed-off-by: Sergey Oblomov <sergeyo@mellanox.com>
@hoopoepg
Copy link
Contributor Author

@bosilca ok to merge?

@jsquyres jsquyres merged commit 22bfdb1 into open-mpi:master May 17, 2018
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.

3 participants