tree c9c07a0981548a32cfea5519e684954f63c07c6c
parent 412906a193c614c1fef927c4248daddbd0677fda
parent d78b71d5b6be54db56cf2f875504109093ead120
author Jacek Centkowski <jcentkowski@digital.ai> 1610970302 +0100
committer Jacek Centkowski <jcentkowski@digital.ai> 1610970302 +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: I49064dd8e0bf8713511c6e029e4e68e26df72111