Hi,this crash doesn't happen anymore for some time now, and I can't say what package change solved it. If no one has the problem, please close the bug. I'll come back if it appears again.
Alex
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
