tree ae9ede5809abcf82468d573f1b2c6403b1998d70
parent 38a79f76b4432679b69736dd7cea4ed254a6f09d
parent b0e7aa63cf3e6ee2afb82d96aa117e38600b0015
author Luca Milanesio <luca.milanesio@gmail.com> 1751363652 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1751363652 +0100

Merge branch 'stable-3.12'

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

Change-Id: I04170e0108bca0d17be8b75a1198fc565cb1fccc