Skip to content

Conversation

rhc54
Copy link
Contributor

@rhc54 rhc54 commented Oct 19, 2016

Bring across a681837 by hand to avoid conflicts.

Fixes #2234

@rhc54 rhc54 added the bug label Oct 19, 2016
@rhc54 rhc54 added this to the v2.0.2 milestone Oct 19, 2016
@jsquyres
Copy link
Member

@hppritcha Good to go.

@hppritcha hppritcha merged commit 910f171 into open-mpi:v2.0.x Oct 19, 2016
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.

4 participants