commit | e89b897a1b6c7ea56e95eab4a5ecbe58ff7aaa57 | [log] [tgz] |
---|---|---|
author | David Ostrovsky <david@ostrovsky.org> | Sun Nov 03 17:02:41 2019 +0100 |
committer | David Pursehouse <dpursehouse@collab.net> | Tue Nov 05 22:46:34 2019 +0900 |
tree | cf636abfe3c03a9416d7228d4462c00d632983e9 | |
parent | 6ce17e98be9ce255e38842bd80801691302dee71 [diff] |
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