tree 41913c634e2643fd0d0c75b7e9bd3e01f20cb35a
parent db15ea1124d9a8169f08fd715b96f9dc6e8518a1
parent cb5f406a73b452d664c96528959e379db5211af3
author Luca Milanesio <luca.milanesio@gmail.com> 1689620807 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1689620807 +0100

Merge branch 'stable-3.5' into stable-3.6

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

Change-Id: I8e426b40b0a432e469db79e2691c51eeedc1c3c8