tree c54d6cd9190ad33148eac293f764a484cdeeedff
parent cca340d67fb9c8522fb25b44429ab9ac2bc636f8
parent 0beac73203ad6f29368f0a8b430c807eeba810a6
author Jacek Centkowski <jcentkowski@digital.ai> 1610970554 +0100
committer Jacek Centkowski <jcentkowski@digital.ai> 1610970554 +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: I40d4103266ddd4b749b82540bc90783de0c4dd42