From: Kefu Chai <tchaikov@gmail.com>
Date: Sun, 15 Apr 2018 15:00:21 +0000 (+0800)
Subject: Merge pull request #21108 from xiexingguo/wip-kill-subset-of
X-Git-Tag: v13.1.0~252
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=ccd1c666707ecee4e3b39102b7f0a2f225a841f9;p=ceph.git

Merge pull request #21108 from xiexingguo/wip-kill-subset-of

interval_set: kill subset_of()

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

ccd1c666707ecee4e3b39102b7f0a2f225a841f9