v3.0.x: Avoid a double lock interlock when calling pmix_finalize#6479
Merged
jsquyres merged 1 commit intoopen-mpi:v3.0.xfrom Mar 12, 2019 
Merged
v3.0.x: Avoid a double lock interlock when calling pmix_finalize#6479jsquyres merged 1 commit intoopen-mpi:v3.0.xfrom 
jsquyres merged 1 commit intoopen-mpi:v3.0.xfrom