diff options
| author | Erik Johnston <erikj@jki.re> | 2018-05-17 12:01:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-17 12:01:21 +0100 |
| commit | f7906203f64b6fd495302991c67241863f65d587 (patch) | |
| tree | 102d041680679a5e07d1e087aeac3a20ae4b10af /jenkins-postgres.sh | |
| parent | Merge branch 'master' into develop (diff) | |
| parent | Use stream rather depth ordering for push actions (diff) | |
| download | synapse-f7906203f64b6fd495302991c67241863f65d587.tar.xz | |
Merge pull request #3212 from matrix-org/erikj/epa_stream
Use stream rather depth ordering for push actions
Diffstat (limited to 'jenkins-postgres.sh')
0 files changed, 0 insertions, 0 deletions