tree 0a53dd92598fb46c937edc211b0c6f37f0c3c3a0
parent bad84f1c30a4287f678c65c5ea63311b8d60cac8
parent 815b165851779c7ddd0415880e0190dd0d580e66
author Luca Milanesio <luca.milanesio@gmail.com> 1591569541 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1591569541 +0100

Merge branch 'stable-3.0' into stable-3.1

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

Change-Id: I5ddf18a79e6d20137ce989249635ef10e43166ec