Skip to content

Conversation

@Matthew-Whitlock
Copy link
Contributor

(cherry picked from commit 69b77b1)

Signed-off-by: Matthew Whitlock <[email protected]>
(cherry picked from commit 69b77b1)
@github-actions github-actions bot added this to the v5.0.10 milestone Jan 5, 2026
@janjust janjust merged commit a994c6e into open-mpi:v5.0.x Jan 13, 2026
19 of 23 checks passed
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