To follow up on my earlier statement that I'd test the patch: the deb sources + 
that patch don't show the segfault on my system anymore.

Reply via email to