Skip to content

Conversation

@ggouaillardet
Copy link
Contributor

Fixes #3414

Signed-off-by: Gilles Gouaillardet gilles@rist.or.jp

(cherry picked from commit c38ef3d)

Fixes open-mpi#3414 Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp> (cherry picked from commit open-mpi/ompi@c38ef3d)
@bwbarrett bwbarrett merged commit 36e8628 into open-mpi:v3.x May 6, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3 participants