]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #28225 from sebastian-philipp/script-run-mypy-sort-groups
authorSebastian Wagner <sebastian.wagner@suse.com>
Wed, 29 May 2019 13:21:17 +0000 (15:21 +0200)
committerGitHub <noreply@github.com>
Wed, 29 May 2019 13:21:17 +0000 (15:21 +0200)
script/run_mypy: Sort groups

Reviewed-by: Alfonso Martínez <almartin@redhat.com>
Reviewed-by: Patrick Nawracay <pnawracay@suse.com>

Trivial merge