2007/10/16, Riccardo Iaconelli <riccardo at kde.org>: > On Tuesday 16 October 2007 01:51:49 Allen Winter wrote: > > On Monday 15 October 2007 6:55:36 pm Jos van den Oever wrote: > > > Hi all, > > > > > > Is it ok to apply this patch? > > > > Certainly > > +1 from me. Thanks for looking, I committed.