diff Jenkinsfile @ 8152:95ca00cd722f stable

cleanup: minor correctness fixes "Trivial" potential problems spotted with pytype.
author Mads Kiilerich <mads@kiilerich.com>
date Mon, 03 Feb 2020 15:46:22 +0100
parents d9e37f7fd35b
children 89e9aef9b983
line wrap: on
line diff