Skip to content

Conversation

@bwbarrett
Copy link
Member

@bwbarrett bwbarrett commented Feb 23, 2023

bot:notacherrypick

Signed-off-by: Brian Barrett <[email protected]>
@bwbarrett bwbarrett requested a review from jsquyres February 23, 2023 04:22
@open-mpi open-mpi deleted a comment from github-actions bot Feb 23, 2023
@bwbarrett bwbarrett merged commit 3766bbf into open-mpi:v4.1.x Feb 23, 2023
@bwbarrett bwbarrett deleted the v4.1.x-release branch September 25, 2023 15:30
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