From: Brad Hubbard <badone@users.noreply.github.com>
Date: Sun, 19 Mar 2017 00:03:42 +0000 (+1000)
Subject: Merge pull request #14033 from wjin/clean
X-Git-Tag: v12.0.1~45
X-Git-Url: http://git.apps.os.sepia.ceph.com/?a=commitdiff_plain;h=8262fd5d1715c780dd04038aedbb0958ef664fbd;p=ceph-ci.git

Merge pull request #14033 from wjin/clean

mon/PGMonitor: rm nonused function

Reviewed-by: Jos Collin <jcollin@redhat.com>
Reviewed-by: Brad Hubbard <bhubbard@redhat.com>
---

8262fd5d1715c780dd04038aedbb0958ef664fbd