Skip to content

VERSION: 4.1.0rc5#8277

Merged
rajachan merged 1 commit intoopen-mpi:v4.1.xfrom
rajachan:4.1.0rc5-version
Dec 9, 2020
Merged

VERSION: 4.1.0rc5#8277
rajachan merged 1 commit intoopen-mpi:v4.1.xfrom
rajachan:4.1.0rc5-version

Conversation

@rajachan
Copy link
Member

@rajachan rajachan commented Dec 8, 2020

Updating VERSION and NEWS for the 4.1.0rc5 release.

Signed-off-by: Raghu Raja craghun@amazon.com

Updating VERSION and NEWS for the 4.1.0rc5 release.

Signed-off-by: Raghu Raja <craghun@amazon.com>
@rajachan rajachan merged commit c65e9cb into open-mpi:v4.1.x Dec 9, 2020
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