Jakob Grießmann wrote:
Hi,

thanks a lot for the fast reply! Any other choice to avoid that bug
without patching the package? I'm using vanilla Debian/Ubuntu builds
here and like to avoid manual compilation...
Unfortunately, no. You could ask the Debian package maintainers to apply this trivial patch in the stable packages. Just file a Debian bug report and see what happens.

Regards,

Stephan.

Reply via email to