Somehow, the logic for finalize got lost, so restore it here. If pmix…#1577
Merged
rhc54 merged 1 commit intoopen-mpi:masterfrom Apr 25, 2016
rhc54:topic/finalize
Merged
Somehow, the logic for finalize got lost, so restore it here. If pmix…#1577rhc54 merged 1 commit intoopen-mpi:masterfrom rhc54:topic/finalize
rhc54 merged 1 commit intoopen-mpi:masterfrom
rhc54:topic/finalize