Skip to content

Conversation

@vspetrov
Copy link

@vspetrov vspetrov commented Apr 21, 2022

V5.0.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)
@awlauria awlauria added this to the v5.0.0 milestone Apr 22, 2022
@awlauria awlauria merged commit 399db3a into open-mpi:v5.0.x Apr 25, 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.

2 participants