tree 8719a0d949a45e3d43e711de0288e0c3a6be0a68
parent cf0bbc90e09a8a1d7c042d79f1555e3fa40984e1
parent 20079f696c22c733053077b13c0dc6d9902e6b8e
author Jacek Centkowski <jcentkowski@digital.ai> 1610612743 +0100
committer Jacek Centkowski <jcentkowski@digital.ai> 1610612743 +0100

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  Upgrade Gerrit API to 3.1.11

Change-Id: I6430357ffe05b2edced27909afbf7b3ce451c4fa