Skip to content

Conversation

@hoopoepg
Copy link
Contributor

Signed-off-by: Sergey Oblomov [email protected]

Signed-off-by: Sergey Oblomov <[email protected]>
@yosefe
Copy link
Contributor

yosefe commented Sep 10, 2019

@jsquyres can you please take a look?

@jsquyres jsquyres merged commit c672a51 into open-mpi:master Sep 10, 2019
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.

4 participants