| commit | cffca332c5951d60eac98eff8287ac9da5fe2f49 | [log] [tgz] |
|---|---|---|
| author | Jacek Centkowski <jcentkowski@digital.ai> | Mon Jan 18 17:28:04 2021 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Jan 18 17:28:04 2021 +0000 |
| tree | 47a0e49ea28bc9e0d03f5558797d4aaf8fab65b7 | |
| parent | ff6000074fa2c79fa182ac631a7e598734c4058d [diff] | |
| parent | c08e01cb2020c7c83f1ed4ea9f58ebb619a8e02f [diff] |
Merge "Merge branch 'stable-3.1' into 'stable-3.2'" into stable-3.2
diff --git a/WORKSPACE b/WORKSPACE index f1dc505..0573d46 100644 --- a/WORKSPACE +++ b/WORKSPACE
@@ -3,7 +3,7 @@ load("//:bazlets.bzl", "load_bazlets") load_bazlets( - commit = "cf0bbc90e09a8a1d7c042d79f1555e3fa40984e1", + commit = "8dc0767541f16b35d2136eccebffd9ebe2b81133", #local_path = "/home/<user>/projects/bazlets", )