diff options
author | David Robertson <davidr@element.io> | 2022-09-05 12:13:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-05 11:13:13 +0000 |
commit | 8cb9261598becb3ed790b4268ff713f5e1122a21 (patch) | |
tree | 02beb70fe859cd5fbc7782a866c70dbc47b82d3a /synapse/api | |
parent | Share some metrics between the Prometheus exporter and the phone home stats (... (diff) | |
download | synapse-8cb9261598becb3ed790b4268ff713f5e1122a21.tar.xz |
Fix typechecking with latest `types-jsonschema` (#13712)
Diffstat (limited to 'synapse/api')
-rw-r--r-- | synapse/api/filtering.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/synapse/api/filtering.py b/synapse/api/filtering.py |