Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Mar 4, 2025

Signed-off-by: Orion Poplawski [email protected]
(cherry picked from commit 28e08db)

This is the v4.1.x PR corresponding to main PR #13117

Thanks to @opoplawski

Signed-off-by: Orion Poplawski <[email protected]>
(cherry picked from commit 28e08db)
@github-actions github-actions bot added this to the v4.1.10 milestone Mar 4, 2025
@jsquyres jsquyres requested a review from hppritcha March 4, 2025 15:26
@jsquyres jsquyres merged commit c61081d into open-mpi:v4.1.x Mar 5, 2025
9 checks passed
@jsquyres jsquyres deleted the pr/v4.1.x/fedora-java-configury branch March 5, 2025 15:44
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