Skip to content

Conversation

@rolfv
Copy link

@rolfv rolfv commented Jul 10, 2015

One word change but will walk through the process anyways to be safe.

@rolfv rolfv added the bug label Jul 10, 2015
@rolfv rolfv self-assigned this Jul 10, 2015
@jsquyres
Copy link
Member

👍

rolfv pushed a commit that referenced this pull request Jul 10, 2015
One word change from none to all - new default
@rolfv rolfv merged commit 337dda0 into open-mpi:master Jul 10, 2015
@rolfv rolfv deleted the pr/fix-mpiext-config branch July 10, 2015 16:41
jsquyres pushed a commit to jsquyres/ompi that referenced this pull request Sep 19, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants