Bug#814120: RM: jenkins-memory-monitor -- ROM; no longer used

[Emmanuel Bourg]

Package: ftp.debian.org
Severity: normal

Hi,

Please remove the jenkins-memory-monitor package. It was only used by Jenkins
which has been removed recently.

Thank you,

Emmanuel Bourg