diff options
author | David Robertson <davidr@element.io> | 2021-11-11 16:49:28 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-11 16:49:28 +0000 |
commit | 8dc666f785c653e958728a74758bdb8afb494de4 (patch) | |
tree | ba327b3002960996c76c2f69a21977f9effaf1ac /mypy.ini | |
parent | Move sql file for `remove_deleted_devices_from_device_inbox` into v65 (#11303) (diff) | |
download | synapse-8dc666f785c653e958728a74758bdb8afb494de4.tar.xz |
Correct type hint for room_batch.py (#11310)
Co-authored-by: Patrick Cloke <clokep@users.noreply.github.com>
Diffstat (limited to 'mypy.ini')
-rw-r--r-- | mypy.ini | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mypy.ini b/mypy.ini |