]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
projects / ceph.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3bc1d6b 03989d3)
Merge pull request #47087 from kamoltat/wip-ksirivad-pacific-backport-46029
authorYuri Weinstein <yweinste@redhat.com>
Mon, 25 Jul 2022 14:03:47 +0000 (07:03 -0700)
committerGitHub <noreply@github.com>
Mon, 25 Jul 2022 14:03:47 +0000 (07:03 -0700)
pacific:mon/Elector: notify_rank_removed erase rank from both live_pinging and dead_pinging sets for highest ranked MON

Reviewed-by: Ronen Friedman <rfriedma@redhat.com>

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.