From: Sebastian Wagner <sebastian.wagner@suse.com>
Date: Mon, 13 Jan 2020 10:08:28 +0000 (+0100)
Subject: Merge pull request #32597 from sebastian-philipp/mgr-mypy-mgr_util-mgr_module
X-Git-Tag: v15.1.0~252
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=24aa280b718eb87efa6898777b77b8de482fcc09;p=ceph.git

Merge pull request #32597 from sebastian-philipp/mgr-mypy-mgr_util-mgr_module

pyind/mgr: add mgr_module.py and mgr_util.py to mypy

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

24aa280b718eb87efa6898777b77b8de482fcc09