commit bd1c86690a0ba0ff491b230c4216c2e87d09d1a3
author Marco Miller <marco.miller@ericsson.com> Wed Sep 16 14:53:58 2020 -0400
committer Marco Miller <marco.miller@ericsson.com> Wed Sep 16 14:53:58 2020 -0400
tree 65dded7cce812339c7311e315802d75fa693e53e
parent 7cacff62e53a47deb98259752a35f7cf9c58e505
parent aaf2359edbe6e8048643f09a58784e5c92470ddd

Merge branch 'stable-3.1'

* stable-3.1:
  Upgrade JGit to 5.8.0.202006091008-r
  Upgrade JGit to 5.1.13.202002110435-r
  Upgrade JGit to 5.3.7.202002110540-r

Change-Id: I41041f32870103388fd1c4f0c460d544bbf022dc

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 264a575..8b7f5fc 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -3,7 +3,7 @@
 load("//:bazlets.bzl", "load_bazlets")
 
 load_bazlets(
-    commit = "3f9dadc615dc4053369a42d9ada37dafd8d4763c",
+    commit = "0f81174e3d1b892a1342ebc75bb4bbb158ae0efe",
     #local_path = "/home/<user>/projects/bazlets",
 )