On Tue, Jun 14, 2005 at 10:32:35PM +0200, Thomas Koenig wrote: > > It's not necessary, doesn't fix anything, and is arguably not > > better practice. > > Should I revert the patch, then? Please. r~