]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #25474 from tchaikov/wip-update-seastar
authorKefu Chai <tchaikov@gmail.com>
Mon, 17 Dec 2018 14:41:47 +0000 (22:41 +0800)
committerGitHub <noreply@github.com>
Mon, 17 Dec 2018 14:41:47 +0000 (22:41 +0800)
cmake,seastar: pick up latest seastar

Reviewed-by: Casey Bodley <cbodley@redhat.com>

Trivial merge