v2.1: mpool/memkind: be careful with the memkind API#5041
Merged
jsquyres merged 1 commit intoopen-mpi:v2.xfrom Apr 9, 2018
Merged
v2.1: mpool/memkind: be careful with the memkind API#5041jsquyres merged 1 commit intoopen-mpi:v2.xfrom
jsquyres merged 1 commit intoopen-mpi:v2.xfrom