]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #11943 from wido/docs-pool-remove
authorKefu Chai <tchaikov@gmail.com>
Thu, 24 Nov 2016 03:53:32 +0000 (11:53 +0800)
committerGitHub <noreply@github.com>
Thu, 24 Nov 2016 03:53:32 +0000 (11:53 +0800)
doc: Add documentation about mon_allow_pool_delete before pool remove

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

Trivial merge