tree 6daedf08c78622f27bcae312b5981967ab97fd47
parent ec912ab4debb5dbefa7c99fa6660ca875e6c956a
parent 21e20a1186896626d409bc513260768e79f95e19
author Luca Milanesio <luca.milanesio@gmail.com> 1626283640 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1626283640 +0100

Merge branch 'stable-3.4'

* stable-3.4:
  Update Jenkins repository URL

Change-Id: I1813c011bb6145661af01bd2609e9e8c21b23c71