From: Sebastian Wagner Date: Mon, 18 Jan 2021 11:00:08 +0000 (+0100) Subject: Merge pull request #38507 from sebastian-philipp/mypy-mgr_util X-Git-Tag: v17.0.0~37 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=223f5b403634aa9e3e2fc843847fccd31a3ce10d;p=ceph.git Merge pull request #38507 from sebastian-philipp/mypy-mgr_util pybind/mgr: disallow_untyped_defs=True for mgr_util Reviewed-by: Juan Miguel Olmo Martínez Reviewed-by: Patrick Seidensal --- 223f5b403634aa9e3e2fc843847fccd31a3ce10d