From 51f358e2fe4b568009de46c0130bd6843ed8215b Mon Sep 17 00:00:00 2001
From: Patrick Cloke <clokep@users.noreply.github.com>
Date: Thu, 16 Apr 2020 10:52:55 -0400
Subject: Do not treat display names as globs for push rules. (#7271)

---
 tox.ini | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tox.ini')

diff --git a/tox.ini b/tox.ini
index 8e3f09e638..34d6322c4b 100644
--- a/tox.ini
+++ b/tox.ini
@@ -194,6 +194,7 @@ commands = mypy \
             synapse/metrics \
             synapse/module_api \
             synapse/push/pusherpool.py \
+            synapse/push/push_rule_evaluator.py \
             synapse/replication \
             synapse/rest \
             synapse/spam_checker_api \
-- 
cgit 1.4.1