diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2019-08-22 10:43:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-22 10:43:13 +0100 |
| commit | c9f11d09fc85470cf9a36909104734a3682c4b39 (patch) | |
| tree | fe1924b2c19585811ba1c6add6ff1861b3e3fc43 /.circleci | |
| parent | Servlet to purge old rooms (#5845) (diff) | |
| download | synapse-c9f11d09fc85470cf9a36909104734a3682c4b39.tar.xz | |
Add missing index on users_in_public_rooms. (#5894)
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions