Bug#827997: RM: jenkins-constant-pool-scanner -- ROM; No longer used

[Emmanuel Bourg]

Package: ftp.debian.org
Severity: normal

Hi,

Please remove the jenkins-constant-pool-scanner package, it has been left over
after the removal of Jenkins and is no longer used.

Thank you,

Emmanuel Bourg