Skip to content

Conversation

@jsquyres
Copy link
Member

Signed-off-by: Jeff Squyres [email protected]

@jsquyres jsquyres requested a review from rajachan December 18, 2020 16:58
@jsquyres jsquyres force-pushed the pr/v4.1.0-final-final-final branch from d4c5137 to adb29bb Compare December 18, 2020 17:03
@jsquyres
Copy link
Member Author

bot:aws:retest

1 similar comment
@rajachan
Copy link
Member

bot:aws:retest

@rajachan rajachan merged commit 9ac5471 into open-mpi:v4.1.x Dec 18, 2020
@jsquyres jsquyres deleted the pr/v4.1.0-final-final-final branch December 18, 2020 19:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants