From: Kefu Chai <kchai@redhat.com>
Date: Fri, 7 Feb 2020 07:49:37 +0000 (+0800)
Subject: Merge pull request #32985 from sebastian-philipp/mgr-progress-mypy
X-Git-Tag: v15.1.1~520
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=38d20f69e364ff5f3583f8d672de8e1a9459efde;p=ceph.git

Merge pull request #32985 from sebastian-philipp/mgr-progress-mypy

mgr/progress: Add integration to pybind/mgr/tox.ini

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

38d20f69e364ff5f3583f8d672de8e1a9459efde