diff options
author | Erik Johnston <erikj@jki.re> | 2017-07-13 11:44:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-13 11:44:48 +0100 |
commit | 67b7b904bae8a6c205694f11e1d1dd9f6c11be1d (patch) | |
tree | c70aa6cb4e7f7be1ff7c7e5721e8c09de0cbae94 /jenkins-postgres.sh | |
parent | Merge pull request #2362 from matrix-org/erikj/sync_user_users_who_share (diff) | |
parent | Push: Don't acquire lock unless necessary (diff) | |
download | synapse-67b7b904bae8a6c205694f11e1d1dd9f6c11be1d.tar.xz |
Merge pull request #2365 from matrix-org/erikj/push_skip_lock
Push: Don't acquire lock unless necessary
Diffstat (limited to 'jenkins-postgres.sh')
0 files changed, 0 insertions, 0 deletions