tree 8d7fbd03ce99bceccaa86db05c94c7c2fa7a4398
parent 9a0681796357648568a89ff3d2911e77b03c3fba
parent 6c61eefc97e5bf474adbeb12c868c8a167056864
author Jacek Centkowski <jcentkowski@digital.ai> 1610969766 +0100
committer Jacek Centkowski <jcentkowski@digital.ai> 1610970016 +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: I214ffbfbdbbddec87d8f94875b0e09a6f2b4c7f7