On Fri, Jan 04, 2019 at 04:23:18PM +0000, Martín Ferrari wrote: > > Martín, do you intend to update it in stretch or should it rather be removed > > by the next point release? > > Right now I am completely stomped by other Debian duties, but if it is > not absolutely urgent, I would like to fix it.
Ack, I'll let it around and not file a removal bug. > Also, it will be a good opportunity to learn how to do uploads to stable :-) Great :-) Procedure is listed at https://www.debian.org/doc/manuals/developers-reference/ch05.en.html#upload-stable Cheers, Moritz