On Thu, Jan 23, 2020 at 07:46:49PM +0000, Holger Levsen wrote: > On Thu, Jan 23, 2020 at 08:42:03PM +0100, Moritz Muehlenhoff wrote: > > Let's remove it in the upcoming stretch/buster point releases, then? > > seems reasonable to me.
Can you please file RM bugs against release.debian.org? Typically it's best if they are done by the maintainer. Cheers, Moritz