Hi folks, Quick ping here. I haven't seen any report of this issue upstream either, but since it's a pretty hard issue to track down from its symptoms alone it may affect a few other people as well.
Thanks, Stefan -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org