tree 9ceb3eb4b9a0b2880a06d9b6df2b692d9d7d0302
parent 5e94764b3fbebd4339e0c3ece727da16537f6ee8
parent 2ed1f5813892b4acabb5a1302790070d353cb104
author Jacek Centkowski <jcentkowski@digital.ai> 1610970484 +0100
committer Jacek Centkowski <jcentkowski@digital.ai> 1610970484 +0100

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: I5846adbbc6eb30991aafefbb60377e4991585ff2