On Tue, 7 Aug 2001, Wichert Akkerman wrote: > Previously Santiago Vila wrote: > > I'm still waiting for a reply to Bug#102395. > > It's a minor thing, and my todo list is long. > > Why are you using this thread to try and remind me of a bug I'm quite > aware of? There was nothing (until today) indicating you were quite aware of it.