diff options
| author | Erik Johnston <erik@matrix.org> | 2019-12-13 11:32:53 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-13 11:32:53 +0000 |
| commit | 5cadbd9ebb6cc9e6e2e15ab3f77fcbca47d53392 (patch) | |
| tree | 811fec2b55d1566cc294de5747842d615932b8d4 /tox.ini | |
| parent | Merge branch 'master' into develop (diff) | |
| parent | Newsfile (diff) | |
| download | synapse-5cadbd9ebb6cc9e6e2e15ab3f77fcbca47d53392.tar.xz | |
Merge pull request #6537 from matrix-org/erikj/bump_mypy_version
Bump mypy version
Diffstat (limited to 'tox.ini')
| -rw-r--r-- | tox.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tox.ini b/tox.ini index 2ae82d674f..1d6428f64f 100644 --- a/tox.ini +++ b/tox.ini @@ -171,7 +171,7 @@ basepython = python3.7 skip_install = True deps = {[base]deps} - mypy==0.730 + mypy==0.750 mypy-zope env = MYPYPATH = stubs/ |