On Mit, 07 Mai 2003, Luciano Montanaro wrote: > The patch is against KDE_3_1_BRANCH. Hmm, could you do one against HEAD? I think it makes sense to apply it there. -- Dirk