> did this bug ever appear again? No, I've not seen it since.
> If it didn't happen again on your system we should close the bug. Yes, as it's unreproducible I guess it should be closed. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]