]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commitdiff
Merge pull request #14033 from wjin/clean
authorBrad Hubbard <badone@users.noreply.github.com>
Sun, 19 Mar 2017 00:03:42 +0000 (10:03 +1000)
committerGitHub <noreply@github.com>
Sun, 19 Mar 2017 00:03:42 +0000 (10:03 +1000)
mon/PGMonitor: rm nonused function

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

Trivial merge