Do not push child processes into separate process groups so that any …#1431
Merged
rhc54 merged 1 commit intoopen-mpi:masterfrom Mar 7, 2016
rhc54:topic/orted
Merged
Do not push child processes into separate process groups so that any …#1431rhc54 merged 1 commit intoopen-mpi:masterfrom rhc54:topic/orted
rhc54 merged 1 commit intoopen-mpi:masterfrom
rhc54:topic/orted