tree 855ccfebd01ad5b7172044a1079a16e3c6ac6c91
parent c2bb193a487fb40c5554562084b2a524f5079f16
parent a757fd9e4b7ed552e4a922288df48e58232cd1cd
author Luca Milanesio <luca.milanesio@gmail.com> 1594023657 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1594023657 +0100

Merge branch 'stable-3.2'

* stable-3.2:
  Ignore events coming from another Gerrit server
  Update bazlets to v3.2.2

Change-Id: Ie905ff8c26a22ab4d3ba25eaa61b9842e39d1795