tree cd2517deb90700465389325fbaf8215b2db51910
parent 2aff6cff942ba95a3738e0631e3b4005042356be
parent 470613c8066bc9605956a2d45215734ce2c1113b
author Luca Milanesio <luca.milanesio@gmail.com> 1591569568 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1591569568 +0100

Merge branch 'stable-3.1'

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

Change-Id: Idb2d14ee5bd2a6917cf0c4a776d9ee521011af43