From: Kefu Chai Date: Sat, 14 Jul 2018 09:36:20 +0000 (+0800) Subject: Merge pull request #22809 from tchaikov/wip-with-seastar X-Git-Tag: v14.0.1~876 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=4e87c5a492f439f6c7286e154378711abb71e85c;p=ceph.git Merge pull request #22809 from tchaikov/wip-with-seastar run-make-check: enable --with-seastar option Reviewed-by: Casey Bodley --- 4e87c5a492f439f6c7286e154378711abb71e85c