tree 2937354b5a4b2cc86514a742a926fae73185b3a7
parent a880148254d5da25924def9e149932552abfa67b
parent 0c776bd6ff08436c7023c75d81683eeba7645118
author Jacek Centkowski <jcentkowski@digital.ai> 1610970376 +0100
committer Jacek Centkowski <jcentkowski@digital.ai> 1610970376 +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: I79179955229e9b26f1b259553d3d2b9d12eeb75b