From: Kefu Chai Date: Thu, 23 Jul 2020 14:19:56 +0000 (+0800) Subject: Merge pull request #36252 from tchaikov/wip-doc-crimson X-Git-Tag: v16.1.0~1641 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=f4ff2b09be2a30c28d3eccd68f20a1d84e8830d8;p=ceph.git Merge pull request #36252 from tchaikov/wip-doc-crimson doc/dev/crimson: remove redundant options Reviewed-by: Radoslaw Zarzynski --- f4ff2b09be2a30c28d3eccd68f20a1d84e8830d8