Skip to content

Conversation

@bwbarrett
Copy link
Member

It's time to cut a release candidate, so update the version.

Signed-off-by: Brian Barrett bbarrett@amazon.com

It's time to cut a release candidate, so update the version.

Signed-off-by: Brian Barrett <bbarrett@amazon.com>
@bwbarrett bwbarrett requested a review from jsquyres January 23, 2018 04:18
@bwbarrett bwbarrett added this to the v3.1.0 milestone Jan 23, 2018
@bwbarrett bwbarrett merged commit 9885c21 into open-mpi:v3.1.x Jan 23, 2018
@bwbarrett bwbarrett deleted the 3.1.0rc1-bump branch May 8, 2020 00:17
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