diff options
| author | David Robertson <davidr@element.io> | 2022-07-26 18:58:47 +0100 |
|---|---|---|
| committer | David Robertson <davidr@element.io> | 2022-07-26 18:58:47 +0100 |
| commit | 49fa59e3bbf0dcc12d414f5b088cd0a3dc0ac972 (patch) | |
| tree | ddb97466b669dd5235589de55f82f5f77da7465a /scripts-dev/mypy_synapse_plugin.py | |
| parent | Revert debug changes to Synapse (diff) | |
| parent | Additional fixes for opentracing type hints. (#13362) (diff) | |
| download | synapse-49fa59e3bbf0dcc12d414f5b088cd0a3dc0ac972.tar.xz | |
Merge remote-tracking branch 'origin/develop' into dmr/stateres/debug
Diffstat (limited to 'scripts-dev/mypy_synapse_plugin.py')
0 files changed, 0 insertions, 0 deletions