Skip to content

Conversation

@gleon99
Copy link
Contributor

@gleon99 gleon99 commented Nov 25, 2020

Signed-off-by: Leonid Genkin [email protected]
(cherry picked from commit 7f9a305)

Signed-off-by: Leonid Genkin <[email protected]>
(cherry picked from commit 7f9a305)
@ompiteam-bot
Copy link

Can one of the admins verify this patch?

@hoopoepg
Copy link
Contributor

ok to test

@yosefe yosefe added this to the v4.1.x milestone Dec 1, 2020
@jsquyres jsquyres merged commit 9970e00 into open-mpi:v4.1.x Dec 7, 2020
@jsquyres jsquyres modified the milestones: v4.1.x, v4.1.0 Dec 18, 2020
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.

6 participants