Bug#824851: RM: jetty -- ROM; No longer used, superseded by jetty{8,9}

[Emmanuel Bourg]

Package: ftp.debian.org
Severity: normal

Hi,

Please remove the venerable jetty package, we eventually managed
to migrate its reverse dependencies to more recent and supported
versions of Jetty.

Thank you,

Emmanuel Bourg