]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commit
Merge pull request #21108 from xiexingguo/wip-kill-subset-of
authorKefu Chai <tchaikov@gmail.com>
Sun, 15 Apr 2018 15:00:21 +0000 (23:00 +0800)
committerGitHub <noreply@github.com>
Sun, 15 Apr 2018 15:00:21 +0000 (23:00 +0800)
commitccd1c666707ecee4e3b39102b7f0a2f225a841f9
tree70f7fcdc90cc4bbdc2b45e6c62731bfbc2151690
parent2d06cf888e6cd1c75644a3150de50c14e3fd3c72
parent048b5b8c05dbc32edd953b8fac502c9a4f2c7fe4
Merge pull request #21108 from xiexingguo/wip-kill-subset-of

interval_set: kill subset_of()

Reviewed-by: Kefu Chai <kchai@redhat.com>