tree bd886a0e9d0850bc22be197a42bd763802bfd335
parent f8b514be574a7eafcd660cc33d129549d384b5b3
parent c709d3768cc197e06e5c94059d95e484c0a4784c
author Jacek Centkowski <jcentkowski@digital.ai> 1610970099 +0100
committer Jacek Centkowski <jcentkowski@digital.ai> 1610970099 +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
  Use Gerrit 3.1.11 in Dockerfile

Change-Id: Ie349138079e3240b82b3d7da2ca2ca6450e78f16