Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Jan 2, 2025

Signed-off-by: Jeff Squyres [email protected]
(cherry picked from commit 5058340)

This is the v5.0.x PR corresponding to main PR #13001

Signed-off-by: Jeff Squyres <[email protected]>
(cherry picked from commit 5058340)
@jsquyres jsquyres requested a review from hppritcha January 2, 2025 18:56
@github-actions github-actions bot added this to the v5.0.6 milestone Jan 2, 2025
@janjust janjust merged commit 3401542 into open-mpi:v5.0.x Jan 13, 2025
15 checks passed
@jsquyres jsquyres deleted the pr/v5.0.x/docs-fix-typo branch January 15, 2025 02:52
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