Skip to content

Conversation

@Sergei-Lebedev
Copy link
Contributor

Port of #12821

bot:notacherrypick

Signed-off-by: Sergey Lebedev <[email protected]>
bot:notacherrypick
@github-actions github-actions bot added this to the v4.1.7 milestone Sep 24, 2024
@bwbarrett
Copy link
Member

@janjust I thought you said in Slack that this came from main / 5.0. Can you point to those changes?

@janjust
Copy link
Contributor

janjust commented Sep 24, 2024

@bwbarrett Sorry I meant, that this was accidentally fixed in main with this PR:
#12621

It was Jacob's preparation for big count PR.
We ported the relevant changes back to v5.0.x and to this PR.

@bwbarrett bwbarrett merged commit 5fe7953 into open-mpi:v4.1.x Sep 30, 2024
9 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