commit cfc262c7a570531a042273430b2f3ea1e983f082
author David Ostrovsky <david@ostrovsky.org> Tue Apr 06 20:34:07 2021 +0200
committer David Ostrovsky <david@ostrovsky.org> Tue Apr 06 20:34:07 2021 +0200
tree 8e728075b31ac8790eefab350894ce77f423ac45
parent cb5e468c25c7611201c32746ef81f1992dc72a9e
parent 74c31901d537c6a969faf60013c322eb8b85fe05

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  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: I03e380865685a63d4f5ee606c29ccfb4aefe2d98

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 1561335..215cb43 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -3,7 +3,7 @@
 load("//:bazlets.bzl", "load_bazlets")
 
 load_bazlets(
-    commit = "87fd5f0d0a89d01df13deaf2d21a4bdb3bc03cfd",
+    commit = "0f81174e3d1b892a1342ebc75bb4bbb158ae0efe",
     #local_path = "/home/<user>/projects/bazlets",
 )