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