diff options
| author | David Robertson <davidr@element.io> | 2022-05-03 11:03:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-03 11:03:20 +0100 |
| commit | 01dcf7532d7863b2721156a4817716a8628fe73f (patch) | |
| tree | b64344b3181116e31dffb6a79a03d36fe347b04a /changelog.d | |
| parent | Remove special-case for `twisted` logger (#12589) (diff) | |
| download | synapse-01dcf7532d7863b2721156a4817716a8628fe73f.tar.xz | |
Prune mypy ignore_missing_imports list (#12608)
Diffstat (limited to 'changelog.d')
| -rw-r--r-- | changelog.d/12608.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/12608.misc b/changelog.d/12608.misc new file mode 100644 index 0000000000..38272118fb --- /dev/null +++ b/changelog.d/12608.misc @@ -0,0 +1 @@ +Remove redundant lines of config from `mypy.ini`. \ No newline at end of file |