tree ec73bfe356e6d41020308004fa5c9ac0dda2ddae
parent fdc1ab0d8c01c8e6e16234a298e2d44228915da2
parent 07beb585c4b009d300a4abc9dca243eb01ba8da3
author Fabio Ponciroli <ponch78@gmail.com> 1656365441 +0200
committer Fabio Ponciroli <ponch78@gmail.com> 1656365441 +0200

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  Use archive-ci.gerritforge.com for downloading plugins

Change-Id: I7b91517455f3f86705444325a59772bf1ef23114