On Sunday 02 July 2006 19:55, Michael Niedermayer wrote: > On Sun, Jul 02, 2006 at 06:39:19PM +0200, Ivo wrote: > > Is this o.k. to commit or should it be done differently? > > o.k. Committed. --Ivo