| commit | 060bf888b5ad803f24f8db2e70d2b8306ae73691 | [log] [tgz] |
|---|---|---|
| author | Jacek Centkowski <jcentkowski@digital.ai> | Mon Jan 18 17:28:24 2021 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Jan 18 17:28:24 2021 +0000 |
| tree | c762b9ee7f1ae4f0893ee07767d273698629eac5 | |
| parent | 3da014866f0d5f88f175502c6407d2516e0d2726 [diff] | |
| parent | 38842e64320cf5f459234e0936c386c8a1afdce0 [diff] |
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" )