tree fc102175c376d73047a77682bf799a5c285fb43c
parent e8338192714c083503f8bcefc6b1f4c88bc082c0
author Luca Milanesio <luca.milanesio@gmail.com> 1557279550 -0700
committer Thomas Dräbing <thomas.draebing@sap.com> 1557983870 +0000

Build high-availability plugin for Gerrit v3.0

Change-Id: I533cb6200d2ce1e7f90ce7278e49ad7536656133