tree b08bc80600ac54ed97689352ba6f44e94ce235a4
parent a0b67687cbf64f8c24305ee30527380b3065f198
parent 31119fe81846271441cb54b67aa1f922d0560dbe
author Luca Milanesio <luca.milanesio@gmail.com> 1752735793 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1752735793 +0100

Merge branch 'stable-3.10' into stable-3.11

* stable-3.10:
  Set Gerrit to 3.10.7

Change-Id: Ief21db4c5bbe3d53fa3965924411e49fa7f023c7