On Mon, 15 Jan 2018 at 22:21 Moritz Mühlenhoff <j...@inutil.org> wrote:
> Ok, I'll update the Debian Security Tracker accordingly, but we also should > remove the package in the next stable point release. > Can you please also file a bug? (reportbug release.debian.org -> "rm") > Yes, good point; I have filed this as #887412.