Skip to content

Conversation

@hppritcha
Copy link
Member

related to #13478 but without the controversial stuff.

(cherry picked from commit 4220027)

related to open-mpi#13478 but without the controversial stuff.

Signed-off-by: Howard Pritchard <howardp@lanl.gov>
(cherry picked from commit 4220027)
@github-actions github-actions bot added this to the v6.0.0 milestone Oct 30, 2025
@edgargabriel edgargabriel merged commit 1d55ef3 into open-mpi:v6.0.x Oct 30, 2025
16 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.

3 participants