]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #31560 from rosinL/wip-fix-incorrect-pg-pool-sum
authorKefu Chai <kchai@redhat.com>
Sat, 16 Nov 2019 16:54:25 +0000 (00:54 +0800)
committerGitHub <noreply@github.com>
Sat, 16 Nov 2019 16:54:25 +0000 (00:54 +0800)
mon/PGMap: fix incorrect pg_pool_sum when delete pool

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

Trivial merge