Skip to content

Conversation

@devreal
Copy link
Contributor

@devreal devreal commented Nov 6, 2019

Cheery-pick of #7141 to the v4.0.x branch

Signed-off-by: Joseph Schuchart [email protected]
(cherry picked from commit 9f2c6a4)

…capabilities

Signed-off-by: Joseph Schuchart <[email protected]>
(cherry picked from commit 9f2c6a4)
@awlauria awlauria requested a review from yosefe November 6, 2019 15:53
@awlauria awlauria added this to the v4.0.3 milestone Nov 7, 2019
@awlauria awlauria removed this from the v4.0.3 milestone Nov 7, 2019
@gpaulsen
Copy link
Member

gpaulsen commented Nov 8, 2019

Thanks!

@gpaulsen gpaulsen added this to the v4.0.3 milestone Nov 8, 2019
@gpaulsen gpaulsen merged commit 0e25083 into open-mpi:v4.0.x Nov 8, 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.

3 participants