Skip to content

Conversation

@devreal
Copy link
Contributor

@devreal devreal commented Oct 29, 2019

Cherry-pick of #6991 into v4.0.x

Signed-off-by: Joseph Schuchart schuchart@hlrs.de

Signed-off-by: Joseph Schuchart <schuchart@hlrs.de>
(cherry picked from commit 37e6bbb)
@hppritcha hppritcha added this to the v4.0.3 milestone Oct 30, 2019
@gpaulsen gpaulsen merged commit 524960d into open-mpi:v4.0.x Nov 1, 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.

5 participants