Merge branch 'stable-3.12'

* stable-3.12:
  Fix concurrent pushes to the same target URI

Change-Id: I04170e0108bca0d17be8b75a1198fc565cb1fccc
tree: ae9ede5809abcf82468d573f1b2c6403b1998d70
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE