From: Kefu Chai Date: Wed, 4 Dec 2019 04:30:11 +0000 (+0800) Subject: Merge pull request #31990 from dzafman/wip-43084 X-Git-Tag: v15.1.0~676 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=aaba179533a9cb0b1013d1b8a0e0ad81e73fa109;p=ceph.git Merge pull request #31990 from dzafman/wip-43084 tools/osdmaptool.cc: do not use deprecated std::random_shuffle() Reviewed-by: Neha Ojha Reviewed-by: Willem Jan Withagen --- aaba179533a9cb0b1013d1b8a0e0ad81e73fa109