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 | |
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)
-rw-r--r-- | changelog.d/13712.misc | 1 | ||||
-rw-r--r-- | synapse/api/filtering.py | 8 |
2 files changed, 5 insertions, 4 deletions
diff --git a/changelog.d/13712.misc b/changelog.d/13712.misc new file mode 100644 |