Skip to content

Conversation

@devreal
Copy link
Contributor

@devreal devreal commented Oct 27, 2022

Follow-up to #10983, which introduced this bug.

Signed-off-by: Joseph Schuchart [email protected]

@jsquyres jsquyres merged commit 1e2e97c into open-mpi:main Oct 31, 2022
@awlauria
Copy link
Contributor

please cherry-pick to v5.0.x

@jsquyres
Copy link
Member

@devreal @bosilca I tried to naievely cherry-pick it to v5.0.x and it ran into a conflict -- I'm guessing that means there's some other commits that need to be cherry-picked to v5.0.x first...?

@devreal
Copy link
Contributor Author

devreal commented Oct 31, 2022

@jsquyres #10828 has not been backported to 5.0.x yet. I didn't get a response from @FlorentGermain-Bull on that PR whether he plans to backport it.

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