Skip to content

Conversation

@janjust
Copy link
Contributor

@janjust janjust commented Feb 14, 2025

bot:notacherrypick

Signed-off-by: Tomislav Janjusic <[email protected]>
@janjust janjust requested a review from jsquyres February 14, 2025 19:12
@github-actions github-actions bot added this to the v5.0.8 milestone Feb 14, 2025
@janjust janjust merged commit bcec9b0 into open-mpi:v5.0.x Feb 14, 2025
15 checks passed
@janjust janjust deleted the v5.0.x-prs branch March 27, 2025 02:03
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