From: Kefu Chai Date: Fri, 29 Jun 2018 02:04:55 +0000 (+0800) Subject: Merge pull request #22756 from wjwithagen/wjw-fix-missing-vector X-Git-Tag: v14.0.1~976 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=712a3d963cdd467a3d48ac460dc097553d7d6021;p=ceph.git Merge pull request #22756 from wjwithagen/wjw-fix-missing-vector mgr: `#include ` for clang Reviewed-by: Kefu Chai --- 712a3d963cdd467a3d48ac460dc097553d7d6021