On Tue, Nov 20, 2007 at 12:17:50PM +0100, Stefano Sabatini wrote: > > yes I know it is deprecated (and there are other more important > problems also), anyway here it is. Nonetheless the patch is correct and trivial, applied. Diego