tree ebdc03602436041a75ef1e5e70ed2d5a34aea052
parent 1dbf4dba5fff24225452ad9b51b15faf73c16d3a
parent cd0f465723bd85b260b8dc8c582cdb10129b3235
author Luca Milanesio <luca.milanesio@gmail.com> 1689620856 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1689620856 +0100

Merge branch 'stable-3.6' into stable-3.7

* stable-3.6:
  Move to the standard Gerrit plugins verifier

Change-Id: Ic371f4302b835494bedd015a58b0c93aa2448b82