Fwiw, I suggest fixing this bug in Debian since upstream has
been nonresponsive for years.  This route was taken for
https://bugs.debian.org/763403 , too.
Thanks.

Reply via email to