On Sun, Jun 24, 2018 at 06:19:34PM +0200, Andreas Beckmann wrote: > > Given that this looks pretty much unfixable in stretch, should the > package be removed from stretch? ACK - I see no better chance for this. Kind regards Andreas. -- http://fam-tille.de