I starts wonder if I correctly detect conditions for the bug to appear. I sure it appears but it may be really coming from Bug#613443, not due wrong names...
I think bug can be closed: I can reproduce Bug#613443, but unable repeatably reproduce this one. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
