Skip to content

Conversation

@bwbarrett
Copy link
Member

4.1.8 is shipped, on to the next one.

bot:notacherrypick

4.1.8 is shipped, on to the next one.

Signed-off-by: Brian Barrett <[email protected]>
@bwbarrett bwbarrett requested a review from jsquyres February 4, 2025 17:13
@github-actions github-actions bot added this to the v4.1.8 milestone Feb 4, 2025
@bwbarrett bwbarrett modified the milestones: v4.1.8, v4.1.9 Feb 5, 2025
@bwbarrett bwbarrett merged commit b381cc1 into open-mpi:v4.1.x Feb 5, 2025
8 of 9 checks passed
@bwbarrett bwbarrett deleted the release/v4.1.9-prep branch February 5, 2025 23:33
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.

2 participants