Skip to content

util: Fix graph allocation size#4224

Merged
jsquyres merged 1 commit intoopen-mpi:masterfrom
bwbarrett:graph-coverity
Sep 18, 2017
Merged

util: Fix graph allocation size#4224
jsquyres merged 1 commit intoopen-mpi:masterfrom
bwbarrett:graph-coverity

Commits

Commits on Sep 17, 2017