tree cf636abfe3c03a9416d7228d4462c00d632983e9
parent 6ce17e98be9ce255e38842bd80801691302dee71
author David Ostrovsky <david@ostrovsky.org> 1572796961 +0100
committer David Pursehouse <dpursehouse@collab.net> 1572961594 +0900

Upgrade javamelody-core to 1.80.0

The new release fixed some issues and made some improvements: [1].

[1] https://github.com/javamelody/javamelody/wiki/ReleaseNotes#1800

Change-Id: I474ce2131fdccf898652edfa54825ae8b9fe1051