Merge pull request #19326 from yongtang/05162018-mpi_utils.h
authorXiaoqiang Zheng <zhengxq@google.com>
Mon, 21 May 2018 19:40:59 +0000 (12:40 -0700)
committerGitHub <noreply@github.com>
Mon, 21 May 2018 19:40:59 +0000 (12:40 -0700)
commit8ff46ce4691e730a5303d328fa7bd634b746d5ae
treec9b1d3839d31369385cac28c6ea690854a39c19c
parentb84878e63e1166b5c8dc34a777f6ab6fc2517d74
parentcb0b0c8a9e077706ad1863f72105a0de68ba8ddc
Merge pull request #19326 from yongtang/05162018-mpi_utils.h

Remove redundant header includes in mpi_utils.h