tree 3b188cca8691007859e0b30f089c19482ac11a20
parent 259d6db7c559361d7802df2c6d010e49d7d177c9
parent 7ae498815687d7dcfbc432c3d4e698cebe2f994c
author Luca Milanesio <luca.milanesio@gmail.com> 1760531789 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1760531789 +0100

Merge branch 'stable-3.12' into stable-3.13

* stable-3.12:
  Set GERRIT_BRANCH to stable-3.12

Change-Id: I422e59087ebfc2d80979446c6bb51e8a21f86253