On Tuesday 22 April 2008 19:42:34 Y Giridhar Appaji Nag wrote: > Hi Joost, > > On 08/04/22 19:13 +0200, Joost Yervante Damad said ... > > > this does not happen for me, does it always happen for you or just this > > once? > > I am not able to reproduce this. I would've added more information to the > bug report (with a debug build running under GDB) otherwise.
Thanks. Is it okay for you then if I close the bug, and if you find that it happens again, you can re-open it or write a new one? Thanks, Joost -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]