Skip to content

Conversation

@rhc54
Copy link
Contributor

@rhc54 rhc54 commented Jan 2, 2019

Fixes #6236

Signed-off-by: Ralph Castain rhc@open-mpi.org

Signed-off-by: Ralph Castain <rhc@open-mpi.org>
@jjhursey
Copy link
Member

jjhursey commented Jan 2, 2019

bot:ibm:pgi:retest

@open-mpi open-mpi deleted a comment from ibm-ompi Jan 2, 2019
@hppritcha
Copy link
Member

works for me

@rhc54 rhc54 merged commit 8429f5b into open-mpi:master Jan 2, 2019
@rhc54 rhc54 deleted the topic/rmaps branch January 2, 2019 22:55
hppritcha pushed a commit to hppritcha/ompi that referenced this pull request Jan 29, 2019
Needed to apply commit from PR open-mpi#5778 to get this commit
from PR open-mpi#6238 to apply cleanly.

Signed-off-by: Ralph Castain <rhc@open-mpi.org>
(cherry picked from commit b19e5ed)
@hppritcha hppritcha mentioned this pull request Mar 5, 2019
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