Skip to content

Conversation

@wenduwan
Copy link
Contributor

Noticed a missing name for 5.0 release

Signed-off-by: Wenduo Wang [email protected]
(cherry picked from commit c1e49ca)

Noticed a missing name for 5.0 release

Signed-off-by: Wenduo Wang <[email protected]>
(cherry picked from commit c1e49ca)
@wenduwan wenduwan requested a review from jsquyres October 16, 2023 16:56
@github-actions github-actions bot added this to the v5.0.0 milestone Oct 16, 2023
@awlauria awlauria merged commit ec3af47 into open-mpi:v5.0.x Oct 16, 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.

4 participants