On Fri, 2002-03-01 at 11:35, Richard Hirst wrote: > I can file bugs if people think these things are worth fixing.
No need. :-) We already have two serious bugs open for this. Everybody agrees that the current behaviour is wrong, it's just a case of fixing it. See, for example, David's note yesterday about testing his patch for the problem. p. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]