diff options
| author | Erik Johnston <erikj@jki.re> | 2016-09-17 15:30:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-17 15:30:34 +0100 |
| commit | eb24aecf8c4bdf422d2d916c26cb32c956b70b0e (patch) | |
| tree | a694068ca16b6953087da9e884c8835fec975878 /jenkins-postgres.sh | |
| parent | Merge pull request #1127 from matrix-org/dbkr/publicroom_search_case_insensitive (diff) | |
| parent | Spelling (diff) | |
| download | synapse-eb24aecf8c4bdf422d2d916c26cb32c956b70b0e.tar.xz | |
Merge pull request #1129 from matrix-org/erikj/fix_pubroom_pag
Fix and clean up publicRooms pagination
Diffstat (limited to 'jenkins-postgres.sh')
0 files changed, 0 insertions, 0 deletions