diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-11-30 18:44:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-30 18:44:09 +0000 |
| commit | f8d13ca13d9dd0c669a2a1b5bc390d7830c89239 (patch) | |
| tree | 3dbcdf800105b9c41a3c854f7209d017224011ea /mypy.ini | |
| parent | Add a config option to change whether unread push notification counts are per... (diff) | |
| download | synapse-f8d13ca13d9dd0c669a2a1b5bc390d7830c89239.tar.xz | |
Drop (almost) unused index on event_json (#8845)
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions