tree 809cd9aa3a0ad9e6727cddea244cbe9b61dfc296
parent 8667a453169155caef12f280d0fd83e682cb406e
parent 9653e4a1cf70258a1fd634f77df66176cc2745ad
author Luca Milanesio <luca.milanesio@gmail.com> 1549752307 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1549752874 +0000

Merge branch 'stable-2.13' into stable-2.14

* stable-2.13:
  Set Gerrit to 2.13.12
  Add support for Gerrit 2.13.11 on ubuntu 14.04 and centos

Change-Id: I878e8a5ef364c4b7ff0ebba7b933463f3adacf94