* Thomas Weber <thomas.weber.mail at gmail.com> [2008-07-31 12:54]: > On 30/07/08 22:30 +0200, Thomas Weber wrote: > > I changed my mind and won't push this further. If it ain't broken, don't fix > it. Good. That was also my original thought but since you were so keen on doing it... Cheers, -- Rafael