On Sat, Dec 22, 2001 at 02:48:46PM +0100, Michael Ströder wrote: > > I have already commited the fixed. I hope there are no more such > > "typos". > > Any general comments about this approach? It seems like a very good idea. Greets, Jacek