tree 5f3d0abae1eb9438841ad844fe83eb2358d2c20a
parent 95adaa2f3e39865292e055dfb198ce6b7c43aa5b
parent b661ffdaf0a8e86a7b6a28104601bc9562c93b80
author Luca Milanesio <luca.milanesio@gmail.com> 1626283591 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1626283591 +0100

Merge branch 'stable-3.2' into stable-3.3

* stable-3.2:
  Update Jenkins repository URL

Change-Id: I747fe295e1066176203c2c52b70a3f3fef898065