On Sunday, July 6, 2003, at 7:36AM, Oswald Buddenhagen wrote: > On Sun, Jul 06, 2003 at 01:34:39PM +0200, Oswald Buddenhagen wrote: >> the patch should: >> > yeah, right, the patch ... :} This worked fine for me (and is clearly more comprehensive than mine... =) I say go for it.