tree 5f2b95cb531e0e843eab0790fc30b5e02aad077a
parent 2931c44ad292cbc44062286a7398c0aff44ad504
author Frederic Gurr <frederic.gurr@eclipse-foundation.org> 1537193927 +0200
committer Frederic Gurr <frederic.gurr@eclipse-foundation.org> 1537193927 +0200

Fix branch name in Jenkinsfile

Change-Id: I910228d8de7285ffb2783cc1936bd5c8e8cac93f