From: Sebastian Wagner Date: Thu, 25 Jun 2020 15:47:26 +0000 (+0200) Subject: Merge pull request #35695 from sebastian-philipp/mypy-rm-global-ignore-imports X-Git-Tag: v16.1.0~1919 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=947d82f9f8b2980a6fcb397549286a10775e5211;p=ceph.git Merge pull request #35695 from sebastian-philipp/mypy-rm-global-ignore-imports mypy.ini: Remove global `ignore_missing_imports = True` Reviewed-by: Thomas Bechtold --- 947d82f9f8b2980a6fcb397549286a10775e5211