Skip to content

Conversation

@bwbarrett
Copy link
Member

@bwbarrett bwbarrett commented Jun 29, 2018

3.1.1 is tagged and shipping, so prep for next release version by updating the VERSION to 3.1.2a1 and adding a NEWS header.

@bwbarrett bwbarrett requested a review from jsquyres June 29, 2018 16:17
@bwbarrett bwbarrett added this to the v3.1.2 milestone Jun 29, 2018
3.1.1 is tagged and shipping, so prep for next release version by
updating the VERSION to 3.1.2a1 and adding a NEWS header.

Signed-off-by: Brian Barrett <[email protected]>
@bwbarrett bwbarrett changed the title dist: Update VERSION to 3.1.2a1 dist: prep for 3.1.2 release Jun 29, 2018
@jsquyres jsquyres merged commit 2ed1a69 into open-mpi:v3.1.x Jun 29, 2018
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