tree 1ae925e74569cee9065707c6b40208068a1fb085
parent bb327e40cfafe7748e9959a484e41a6e05b17b24
parent e9b707a65d6f1eeb9d5dca89ed60ed31a520c517
author Luca Milanesio <luca.milanesio@gmail.com> 1689620879 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1689620879 +0100

Merge branch 'stable-3.7'

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

Change-Id: I4e6756f4cf16796f984889386953a8f2e0fa415b