On Tue, Feb 17, 2009 at 09:51:17AM +0100, Gwenole Beauchesne wrote: > > It seems those extra spaces got left out during the recent deathmath. They were not touched by the deathmatch I think, but hey, if they bother you, let's remove them. They are gone now. Diego