From: Kefu Chai Date: Tue, 5 Dec 2017 13:27:42 +0000 (+0800) Subject: Merge pull request #18863 from tchaikov/wip-devtoolset-7 X-Git-Tag: v13.0.2~867 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=7c3906c7ddeaedeb5df22a546627a21eaeb3ca3a;p=ceph.git Merge pull request #18863 from tchaikov/wip-devtoolset-7 build/ops: use devtoolset-7 on centos/rhel-7 Reviewed-by: Sage Weil --- 7c3906c7ddeaedeb5df22a546627a21eaeb3ca3a