tree a9ab302e50331eefd1f62a1ab17d1763cd833cf3
parent ab8d206a8d21bf7addd2dc736ee1ec01e45a55df
parent 5af509297cdfb18d2d5ad5c7d16b0d1e04d8f22a
author Luca Milanesio <luca.milanesio@gmail.com> 1755980545 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1755980545 +0200

Merge branch 'stable-3.12'

* stable-3.12:
  Fix GERRIT_VERSION to GERRIT_BRANCH rename lost in merge I0285d2c7

Change-Id: I276af2fdc86c190a4f0f3e7fd94e54f2ca5f3279