]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commitdiff
Merge pull request #19191 from tchaikov/wip-mon-cleanup
authorGregory Farnum <greg@gregs42.com>
Mon, 11 Dec 2017 19:46:19 +0000 (11:46 -0800)
committerGitHub <noreply@github.com>
Mon, 11 Dec 2017 19:46:19 +0000 (11:46 -0800)
mon: remove_is_write_ready()

Reviewed-by: Greg Farnum <gfarnum@redhat.com>

Trivial merge