From: Ernesto Puerta <37327689+epuertat@users.noreply.github.com> Date: Mon, 14 Dec 2020 16:35:52 +0000 (+0100) Subject: Merge pull request #36146 from rhcs-dashboard/wip-46577-master X-Git-Tag: v17.0.0~305 X-Git-Url: http://git.apps.os.sepia.ceph.com/?a=commitdiff_plain;h=0ef9ad55b5c6b030efea91e8e3aba8b47dfe90dc;p=ceph-ci.git Merge pull request #36146 from rhcs-dashboard/wip-46577-master mgr: add types to MODULE_OPTIONS Reviewed-by: p-se Reviewed-by: Tatjana Dehler Reviewed-by: sebastian-philipp Reviewed-by: Kefu Chai Reviewed-by: Volker Theile --- 0ef9ad55b5c6b030efea91e8e3aba8b47dfe90dc