]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #35695 from sebastian-philipp/mypy-rm-global-ignore-imports
authorSebastian Wagner <sebastian.wagner@suse.com>
Thu, 25 Jun 2020 15:47:26 +0000 (17:47 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Jun 2020 15:47:26 +0000 (17:47 +0200)
mypy.ini: Remove global `ignore_missing_imports = True`

Reviewed-by: Thomas Bechtold <tbechtold@suse.com>

Trivial merge