tree f45dc3cadf27d12858918929804e876fc0e1c968
parent 7c323d6cf1dec908d930ab1fb922ed0d0a1a641d
parent 9ec466c38e1bbb8ed31ce4b1a9e8cf62d70d59d2
author Jacek Centkowski <jcentkowski@digital.ai> 1610969938 +0100
committer Jacek Centkowski <jcentkowski@digital.ai> 1610969938 +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: Ia207810c5b756941a26b6eb60692b910c62fd169