commit 3202fe1781c8e8bf4c7656b81f68e35a13ac3584
author David Ostrovsky <david@ostrovsky.org> Tue Apr 06 20:35:08 2021 +0200
committer David Ostrovsky <david@ostrovsky.org> Tue Apr 06 20:35:08 2021 +0200
tree e323ce5047df8dc384a47aa34b895e30239fea17
parent 046a261d7d25d0ce3e9cd58f5c450042974bce82
parent cfc262c7a570531a042273430b2f3ea1e983f082

Merge branch 'stable-3.2'

* stable-3.2:
  Upgrade javamelody-core to 1.87.0
  Upgrade bazlets to latest stable-3.1 to build with 3.1.12 API
  Upgrade bazlets to latest stable-3.1 to build with 3.1.11 API

Change-Id: Iba28cfd3a69a8e5a7e7aca7a5da99cb922a4bd7d

external_plugin_deps.bzl

diff --git a/external_plugin_deps.bzl b/external_plugin_deps.bzl
index f5acb1c..e06bebe 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.86.0",
-        sha1 = "9aa8fc685238ba3391c5e163a451d52bb254387a",
+        artifact = "net.bull.javamelody:javamelody-core:1.87.0",
+        sha1 = "4173735d9a29f1ab54f4dbd6081e18f5b45cdfc3",
     )
 
     maven_jar(