tree 364c76d7a1e1b5a09dfe362515717e73817088a8
parent cc4fee65db39d6c34a5df76572b2dc9e1cb151a7
author David Pursehouse <dpursehouse@digital.ai> 1588289759 +0900
committer David Pursehouse <dpursehouse@digital.ai> 1588289759 +0900

Build javamelody plugin on its own stable-3.1 branch

Change-Id: I1e0a081c296509cb5c4f6c358eecd0a196982794