Skip to content

Conversation

@hppritcha
Copy link
Member

Signed-off-by: Jake Tronge [email protected]
(cherry picked from commit 104e094)

Signed-off-by: Jake Tronge <[email protected]>
(cherry picked from commit 104e094)
@github-actions github-actions bot added this to the v5.0.1 milestone Dec 21, 2023
@hppritcha hppritcha requested a review from wenduwan December 21, 2023 16:55
@hppritcha
Copy link
Member Author

related to #12183

@hppritcha
Copy link
Member Author

@wenduwan please review when you have some time

@wenduwan wenduwan merged commit 07b1fef into open-mpi:v5.0.x Jan 5, 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.

3 participants