]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #21091 from runsisi/wip-elector-cleanup
authorKefu Chai <tchaikov@gmail.com>
Thu, 29 Mar 2018 01:06:25 +0000 (09:06 +0800)
committerGitHub <noreply@github.com>
Thu, 29 Mar 2018 01:06:25 +0000 (09:06 +0800)
mon/Elector: remove unused member fields start_stamp and ack_stamp

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

Trivial merge