tree f6fbcf13656b09d14eafde751492402270cef372
parent 2aafbfd05289af0561b61457173a544266e44c15
author Luca Milanesio <luca.milanesio@gmail.com> 1588006184 +0100
committer David Pursehouse <dpursehouse@digital.ai> 1588055336 +0900

Build javamelody plugin for Gerrit v3.2

Change-Id: I66c891a48fd099b7bfa5cf732dd8d2a15cc62779