This patch really seems to work around the problem. I applied it upstream and I'll update the debian package soon. Better solutions than the one in this patch are still welcome, of course.
-- Karl
This patch really seems to work around the problem. I applied it
upstream and I'll update the debian package soon. Better solutions
than the one in this patch are still welcome, of course.
-- Karl