tree faed5d91785a764020a031d772890903393ecde9
parent 6e7063b81c4b45abdee0f0ae2304896c4b12135e
author Luca Milanesio <luca.milanesio@gmail.com> 1588005776 +0100
committer David Pursehouse <dpursehouse@digital.ai> 1588061430 +0900

Build healthcheck plugin for Gerrit v3.2

Change-Id: I4a7dce9c1d19750a0f41ee2aae12d94642c7ed8a