Sorry for the late reply, I'm the first reporter. I think it's safe to close, haven't encountered the issue once.
Regards, Omar -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
