tree 78885d9ae53e3abab1dd344374740bf5a9435b2c
parent aca0c2c15467a8af89f862a1da72f7b0f9664faa
author David Ostrovsky <david@ostrovsky.org> 1614846080 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1615249549 +0000

Build javamelody plugin on own 3.2 branch

Change-Id: If4d899c04ddf94538ff59576af41e6eb9f59abe7