Skip to content

Conversation

@B-a-S
Copy link
Contributor

@B-a-S B-a-S commented Sep 6, 2023

(cherry picked from commit 63e25b4)

Signed-off-by: Andrii Bilokur <[email protected]>
(cherry picked from commit 63e25b4)
Signed-off-by: Andrii Bilokur <[email protected]>
@jsquyres jsquyres merged commit 7a90933 into open-mpi:v4.0.x Sep 6, 2023
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