Merge "Merge branch 'stable-3.1' into 'stable-3.2'" into stable-3.2
diff --git a/WORKSPACE b/WORKSPACE index e8c649d..94d396d 100644 --- a/WORKSPACE +++ b/WORKSPACE
@@ -3,7 +3,7 @@ load("//:bazlets.bzl", "load_bazlets") load_bazlets( - commit = "0f81174e3d1b892a1342ebc75bb4bbb158ae0efe", + commit = "8dc0767541f16b35d2136eccebffd9ebe2b81133", #local_path = "/home/<user>/projects/bazlets" )