| 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
diff --git a/external_plugin_deps.bzl b/external_plugin_deps.bzl index 02099ff..863d1ab 100644 --- a/external_plugin_deps.bzl +++ b/external_plugin_deps.bzl
@@ -3,8 +3,8 @@ def external_plugin_deps(): maven_jar( name = "javamelody-core", - artifact = "net.bull.javamelody:javamelody-core:1.79.0", - sha1 = "9413e29625402900e69feae8f1948ea694a88244", + artifact = "net.bull.javamelody:javamelody-core:1.80.0", + sha1 = "9499869f068a1e57efefa392a06b5a7635613359", ) maven_jar(