| commit | 7bcbab764adb319bbbbe86d421f2ec87461127ee | [log] [tgz] |
|---|---|---|
| author | Marco Miller <marco.miller@ericsson.com> | Mon Jan 06 17:17:31 2020 -0500 |
| committer | David Ostrovsky <david@ostrovsky.org> | Tue Jan 07 07:27:32 2020 +0100 |
| tree | 62cd545c189c063531e57ece3ac303e1258fb303 | |
| parent | 8a6f261de57c6fe8a212950f278561015cce3069 [diff] |
Upgrade javamelody-core to 1.81.0 This upgrade includes both fixes and additions - [1]. [1] https://github.com/javamelody/javamelody/wiki/ReleaseNotes#1810 Change-Id: I95262385f7f0a5c77af9d349e5552f77faa05914
diff --git a/external_plugin_deps.bzl b/external_plugin_deps.bzl index 863d1ab..e41712a 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.80.0", - sha1 = "9499869f068a1e57efefa392a06b5a7635613359", + artifact = "net.bull.javamelody:javamelody-core:1.81.0", + sha1 = "0514c4ab7b8f482b29fe5bf1c140508a05012a4f", ) maven_jar(