tree c64fbefeca899f7c0f2ac29c6ddfae4a00ea7268
parent c67ed8b3d523279a5b672816bce392ea5ce13129
parent c3b32112924818b2d1f4200ab81fc30ab6ea99ea
author Luca Milanesio <luca.milanesio@gmail.com> 1585664671 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1585664671 +0100

Merge branch 'stable-3.0' into stable-3.1

* stable-3.0:
  Do not use Jenkins pipeline default checkout
  Adapt Jenkinsfile to the new project name and build

Change-Id: I56cb9d5af650e96aed7d1eaa0628183e87b82213