Skip to content

Conversation

@cniethammer
Copy link
Contributor

Cherry-pick of #12304 for v5.0 as requested by @janjust

Signed-off-by: Christoph Niethammer niethammer@hlrs.de
(cherry picked from commit d622835)

…_Precv_init

Signed-off-by: Christoph Niethammer <niethammer@hlrs.de>
(cherry picked from commit d622835)
@github-actions github-actions bot added this to the v5.0.2 milestone Feb 8, 2024
@wenduwan wenduwan merged commit 67bc35a into open-mpi:v5.0.x Feb 12, 2024
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