Fix Jenkins checkout due to update of plugin

Branch: bugfix/jenkins-find-rev-rebased

Branch: 8.0.3-RC

Merged

#228 · Created 2020-01-07 · Last updated 2020-01-07

Merged pull request

Merged in bugfix/jenkins-find-rev-rebased (pull request #228)

24577e2·Author: Peter Hill·Closed by: David Dickinson·2020-01-07

Rebased and squashed PR #227