tree 419a708285c70aeff26238cf87713340e27f0a17
parent 3c34535fc383e09286b3fe50408fbad7f2888a06
author Luca Milanesio <luca.milanesio@gmail.com> 1520803489 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1520803489 +0000

Build high-availability plugin for Gerrit v2.15

Change-Id: Ief063ccf6d5196db83e519a2d4ccb2ba8884a8ce