]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commitdiff
Merge pull request #31192 from sebastian-philipp/run_mypy-0.740
authorSebastian Wagner <sebastian.wagner@suse.com>
Mon, 4 Nov 2019 16:37:40 +0000 (17:37 +0100)
committerGitHub <noreply@github.com>
Mon, 4 Nov 2019 16:37:40 +0000 (17:37 +0100)
script/run_mypy: Support mypy 0.740

Reviewed-by: Ernesto Puerta <epuertat@redhat.com>

Trivial merge