I will try to provide a stacktrace. As I said this happens at random times and in no particular circumstance, so I would need to leave gdb running the whole time. On a side note, this has not happened for some time, like 1 week and I remember doing a dist-upgrade not long ago - maybe the problem lied in a particular library and has been fixed.
Anyway I'll keep an eye on this. If I fail to provide more info by the end of September, feel free to close this bug report. Thanks -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
