Google Git
Sign in
gerrit/plugins/replication/721b87a89e3a1bd2c368e051dec12445697680c5
commit
721b87a89e3a1bd2c368e051dec12445697680c5
[log] [tgz]
author
Luca Milanesio <luca.milanesio@gmail.com>
Tue Jul 01 10:54:12 2025 +0100
committer
Luca Milanesio <luca.milanesio@gmail.com>
Tue Jul 01 10:54:12 2025 +0100
tree
ae9ede5809abcf82468d573f1b2c6403b1998d70
parent
38a79f76b4432679b69736dd7cea4ed254a6f09d [diff]
parent
b0e7aa63cf3e6ee2afb82d96aa117e38600b0015 [diff]
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