tree 21f8e1925870cbf78c14b6e9d936fe464ed5d01f
parent 99825d6e23643b8e30e8d73bd327c9c7f39d3488
parent 59b6b0b87fa02e5a58c65755d745a0645d303736
author Luca Milanesio <luca.milanesio@gmail.com> 1591569265 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1591569265 +0100

Merge branch 'stable-3.0' into stable-3.1

* stable-3.0:
  Adapt to the latest Gerrit on stable-3.0

Change-Id: I8921853a0884ab02096faac29e651fcb47106f03