tree 95cded25a3437a2bc27779df9991dbad1595306a
parent 9aa97efd5fdf5014ef0d5dcb2c5538b4dd694f25
author Luca Milanesio <luca.milanesio@gmail.com> 1588002458 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1588002458 +0100

Build high-availability plugin for Gerrit v3.2

Change-Id: I96d3119c72c9dbe46bb08eb20f38f2fb65c7018f