Skip to content

Conversation

@artpol84
Copy link
Contributor

Follow-up for 717f3fe.

(cherry-ported from 1f7a3a2)

Signed-off-by: Artem Polyakov artpol84@gmail.com

Follow-up for 717f3fe.

(cherry-ported from 1f7a3a2)

Signed-off-by: Artem Polyakov <artpol84@gmail.com>
@jsquyres
Copy link
Member

After RM discussion, this will go into v2.1.1 and v3.0.0.

@jsquyres jsquyres merged commit f2cfc3e into open-mpi:v2.x Apr 26, 2017
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.

3 participants