On Friday 03 January 2003 20:57, Jeff Bailey wrote: > Is this bug done? I suspect it is, but it would be nice to get > confirmation so it can be properly marked as closed. >
Yes, it's fixed. Thanks. Gerhard -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
