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 /changelog.d/6537.misc | |
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 'changelog.d/6537.misc')
-rw-r--r-- | changelog.d/6537.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/6537.misc b/changelog.d/6537.misc new file mode 100644 index 0000000000..3543153584 --- /dev/null +++ b/changelog.d/6537.misc @@ -0,0 +1 @@ +Update `mypy` to new version. |