| commit | 1e0fa989e802fe36d7be5b71f73e61bdaca79a8b | [log] [tgz] |
|---|---|---|
| author | Jacek Centkowski <jcentkowski@digital.ai> | Mon Jan 18 17:28:34 2021 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Jan 18 17:28:34 2021 +0000 |
| tree | 702551b6c4e0c28cc2fdc472df6584693fde4f62 | |
| parent | 19ff9a5a788ece1c0f7c967543d7ae6db6ceb3e7 [diff] | |
| parent | 9209d57745f2f6de868839971deda699dc62479a [diff] |
Merge "Merge branch 'stable-3.1' into 'stable-3.2'" into stable-3.2
diff --git a/WORKSPACE b/WORKSPACE index 001c81d..4d7507b 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", )