tree 416c4bb26863b66a71396c96b0790092807c85d6
parent bb812ef75ff0622737b59667db91e11e03d65a7e
parent 1fcd25ff5b65acf041b89b0193eeb5946d2d305f
author Luca Milanesio <luca.milanesio@gmail.com> 1626283615 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1626283615 +0100

Merge branch 'stable-3.3' into stable-3.4

* stable-3.3:
  Update Jenkins repository URL

Change-Id: Id0278451f802e8f1f195dbbbc9e4bb46baf30ed0