Merge branch 'stable-3.1'

* stable-3.1:
  Upgrade javamelody-core to 1.83.0

Change-Id: If155082cf58d283c865f2961774c768509951e35
diff --git a/WORKSPACE b/WORKSPACE
index 5d2a5aa..c57473a 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -3,7 +3,7 @@
 load("//:bazlets.bzl", "load_bazlets")
 
 load_bazlets(
-    commit = "cd715d269734e7bb0aa2fc4a01d2d2e279631cc7",
+    commit = "5c26af9e0374ede4cd67939be972adf6c4cda791",
     #local_path = "/home/<user>/projects/bazlets",
 )