Skip to content

Conversation

@vspetrov
Copy link

V4.1.x of #10294
Signed-off-by: Valentin Petrov [email protected]
(cherry picked from commit 032f5fe)

Signed-off-by: Valentin Petrov <[email protected]>
(cherry picked from commit 032f5fe)
@vspetrov vspetrov requested a review from janjust April 21, 2022 14:26
@jsquyres jsquyres added this to the v4.1.4 milestone Apr 26, 2022
@jsquyres jsquyres merged commit 78a50d7 into open-mpi:v4.1.x Apr 26, 2022
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