Skip to content

Conversation

@devreal
Copy link
Contributor

@devreal devreal commented Oct 27, 2025

Signed-off-by: Joseph Schuchart joseph.schuchart@stonybrook.edu

Backport of #13470 to v6.0.x

Signed-off-by: Joseph Schuchart <joseph.schuchart@stonybrook.edu>

(cherry picked from commit 80f8cfb)
@github-actions github-actions bot added this to the v6.0.0 milestone Oct 27, 2025
@hppritcha hppritcha merged commit 052dca1 into open-mpi:v6.0.x Oct 28, 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.

4 participants