On Mon, Feb 17, 2003 at 06:24:40PM +0100, Jean-Marc Lasgouttes wrote: > So do you think I should apply it, or that it is not worth the > trouble? You answer did not seem very positive :)
This bug is mega-old I think, and it can only happen at the very start of a document. But then again, it can't harm to apply, afaics. So both sides of the equation are small ... but one less bug is one less bug john
