Re: Paul Gevers 2019-06-27 <9333738b-2b40-1c11-4ea4-1a968ed33...@debian.org> > It's too late to fix this now. The deadline was Tuesday, for packages > ready to migrate and AFAICT, this bug isn't serious enough to warrant an > exception.
Ok, thanks for looking anyway! Christoph
