Skip to content

Conversation

@rhc54
Copy link
Contributor

@rhc54 rhc54 commented Dec 7, 2020

Signed-off-by: Ralph Castain [email protected]

Signed-off-by: Ralph Castain <[email protected]>
@rhc54 rhc54 added this to the v4.1.0 milestone Dec 7, 2020
@rhc54 rhc54 requested a review from jsquyres December 7, 2020 21:28
@rhc54 rhc54 self-assigned this Dec 7, 2020
Copy link
Member

@jsquyres jsquyres left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pretty small change; love it.

@jsquyres jsquyres merged commit cf17052 into open-mpi:v4.1.x Dec 8, 2020
@rhc54 rhc54 deleted the cmr41/pmix322 branch December 17, 2020 17:00
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