From: Kefu Chai Date: Wed, 19 Feb 2020 11:35:42 +0000 (+0800) Subject: Merge pull request #33408 from tchaikov/wip-crimson-editor-prop X-Git-Tag: v15.1.1~369 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=6045152e8d4743df7afc2ba5904cdbaf58e7b9ef;p=ceph.git Merge pull request #33408 from tchaikov/wip-crimson-editor-prop crimson: add editor properties header Reviewed-by: Radoslaw Zarzynski --- 6045152e8d4743df7afc2ba5904cdbaf58e7b9ef