Google Git
Sign in
gerrit/plugins/rename-project/9209d57745f2f6de868839971deda699dc62479a^1..9209d57745f2f6de868839971deda699dc62479a/.
commit
9209d57745f2f6de868839971deda699dc62479a
[log]
author
Jacek Centkowski <jcentkowski@digital.ai>
Mon Jan 18 12:46:16 2021 +0100
committer
Jacek Centkowski <jcentkowski@digital.ai>
Mon Jan 18 12:46:16 2021 +0100
tree
2937354b5a4b2cc86514a742a926fae73185b3a7
parent
a880148254d5da25924def9e149932552abfa67b [diff]
parent
0c776bd6ff08436c7023c75d81683eeba7645118 [diff]
Merge branch 'stable-3.1' into 'stable-3.2'

* stable-3.1:
  Upgrade bazlets to latest stable-3.1 to build with 3.1.11 API

Change-Id: I79179955229e9b26f1b259553d3d2b9d12eeb75b