diff options
| author | Petr Vaněk <arkamar@atlas.cz> | 2022-05-19 16:23:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-19 14:23:59 +0000 |
| commit | 684feeaf2f32d853b02951794789830e48e75a64 (patch) | |
| tree | d20add5644031be0dd81bb18cbd483ba79928d72 /mypy.ini | |
| parent | Add a unique index to `state_group_edges` to prevent duplicates being acciden... (diff) | |
| download | synapse-684feeaf2f32d853b02951794789830e48e75a64.tar.xz | |
Properly close providers.json file stream. (#12794)
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions