Merge branch 'stable-3.11' into stable-3.12

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

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