]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #32985 from sebastian-philipp/mgr-progress-mypy
authorKefu Chai <kchai@redhat.com>
Fri, 7 Feb 2020 07:49:37 +0000 (15:49 +0800)
committerGitHub <noreply@github.com>
Fri, 7 Feb 2020 07:49:37 +0000 (15:49 +0800)
mgr/progress: Add integration to pybind/mgr/tox.ini

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

Trivial merge