Skip to content

Conversation

@brminich
Copy link
Member

Signed-off-by: Mikhail Brinskii [email protected]
(cherry picked from commit d81dc53)

Signed-off-by: Mikhail Brinskii <[email protected]>
(cherry picked from commit d81dc53)
@brminich
Copy link
Member Author

bot:mellanox:retest

@brminich
Copy link
Member Author

@yosefe, ok to merge?

@yosefe yosefe added this to the v4.0.2 milestone May 16, 2019
@gpaulsen gpaulsen merged commit 5880cb4 into open-mpi:v4.0.x May 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants