diff options
author | David Robertson <davidr@element.io> | 2023-04-14 19:04:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-14 18:04:49 +0000 |
commit | 8a47d6e3a685bd45237b7dae9c138209df509f64 (patch) | |
tree | 976ca29fd809e11be0c909f46059b9006cfc2fc5 /mypy.ini | |
parent | Disable directory listing for `StaticResource` (#15438) (diff) | |
download | synapse-8a47d6e3a685bd45237b7dae9c138209df509f64.tar.xz |
More precise type for LoggingTransaction.execute (#15432)
* More precise type for LoggingTransaction.execute * Add an annotation for stream_ordering_month_ago This would have spotted the error that was fixed in "Add comma missing from #15382. (#15429)"
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions