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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
