summary refs log tree commit diff
path: root/mypy.ini
diff options
context:
space:
mode:
Diffstat (limited to 'mypy.ini')
-rw-r--r--mypy.ini1
1 files changed, 1 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini

index 3c8d303064..7ee0dd4b3f 100644 --- a/mypy.ini +++ b/mypy.ini
@@ -55,6 +55,7 @@ files = synapse/metrics, synapse/module_api, synapse/notifier.py, + synapse/push/mailer.py, synapse/push/pusherpool.py, synapse/push/push_rule_evaluator.py, synapse/replication,