tree 233b68cc3b84095a3764c331124292e3ecd7c91b
parent 0981c5368910bcc589235a556fadfff0e847d48f
parent 31ba53e7c6a6e31b06c81f2500f03f29a6c470d4
author Luca Milanesio <luca.milanesio@gmail.com> 1591569969 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1591569973 +0100

Merge branch 'stable-2.15'

* stable-2.15:
  Adapt to the latest Gerrit on stable-2.14

Change-Id: Idc88756deaa419c4ecdfc5663fcd58c14872f941