Skip to content

Conversation

jsquyres
Copy link
Member

@jsquyres jsquyres commented Jan 15, 2020

Signed-off-by: Jeff Squyres jsquyres@cisco.com

Refs #7195.

("JMS" lines will be removed from VERSION before the final merge -- they're there to help the reviewer)

Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
@jsquyres jsquyres merged commit c4dd575 into open-mpi:v3.0.x Jan 16, 2020
@jsquyres jsquyres deleted the pr/v3.0.6-prep branch January 16, 2020 14:01
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