Skip to content

Conversation

@wenduwan
Copy link
Contributor

@wenduwan wenduwan commented Feb 7, 2024

bot:notacherrypick

bot:notacherrypick

Signed-off-by: Wenduo Wang <[email protected]>
@wenduwan wenduwan requested a review from janjust February 7, 2024 21:23
@wenduwan wenduwan self-assigned this Feb 7, 2024
@github-actions github-actions bot added this to the v5.0.2 milestone Feb 7, 2024
@wenduwan wenduwan merged commit 55099ee into open-mpi:v5.0.x Feb 7, 2024
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