diff options
| author | Erik Johnston <erikj@jki.re> | 2018-04-25 17:54:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-25 17:54:12 +0100 |
| commit | a5ad88913c55ac5e42b38d9a40c5c25a7280510d (patch) | |
| tree | 8e2a21e7c8bac1cdd67fdbe8abc09e3e85315535 /jenkins-postgres.sh | |
| parent | Merge branch 'master' into develop (diff) | |
| parent | Also fix reindexing of search (diff) | |
| download | synapse-a5ad88913c55ac5e42b38d9a40c5c25a7280510d.tar.xz | |
Merge pull request #3130 from matrix-org/erikj/fix_quarantine_room
Fix quarantine media admin API
Diffstat (limited to 'jenkins-postgres.sh')
0 files changed, 0 insertions, 0 deletions