The authoritative Debian bug for this is #699609 and I would
merge them if it was just a bit easier to do so.

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=699609

Reply via email to