Philipp Thomas wrote: > On Fri, 22 Feb 2002 09:27:23 -0800 (PST), you wrote: > > >> Benjamin, can we commit it? > > > >Sure! > > Could somebody else please check in my patch? I don't have access to > the machine at work before Monday, so I wouldn't be able to check in > myself before that. Done Philipp, done! (I had a problem with my DSL) Ciao, P.