Google Git
Sign in
gerrit/plugins/replication/864bc26714111ed8fd4e7b402e7830482b57cde0
commit
864bc26714111ed8fd4e7b402e7830482b57cde0
[log]
author
David Pursehouse <dpursehouse@digital.ai>
Wed Apr 29 09:49:24 2020 +0900
committer
David Pursehouse <dpursehouse@digital.ai>
Wed Apr 29 09:49:24 2020 +0900
tree
59d70e7e231d517b68fc696f618ecaef7113b633
parent
08f1240b467326f337197fd93758bae9c21b311e [diff]
parent
ffac099ba7295784e92e1b3b63e4d5b68123a21f [diff]
Merge branch 'stable-3.1'

* stable-3.1:
  PushOne: Improve logging of lock failure

Change-Id: Ic19ffa3aef553040d3771d2c517f7cb4b9c01a21
tree: 59d70e7e231d517b68fc696f618ecaef7113b633
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE