diff Jenkinsfile @ 8459:143f3e9d7599 stable

contributors: update
author Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
date Thu, 10 Sep 2020 20:44:35 +0200
parents 89e9aef9b983
children 0a9ddb8cd8c1
line wrap: on
line diff