25 Oct
2017
25 Oct
'17
2:46 p.m.
Hi
Jenkins has been re-enabled, since the upstream bug has been fixed and a new debhelper version is available in Debian unstable now.
Mihai