Claudio Corrodi wrote: > Hi Michael > > On 08/15/2010 11:44 AM, Michael Wechner wrote: >> (btw, I assume that this patch replaces the one of your previous email >> and is not meant as additional patch, right?) > > Yes, that's correct. thanks for your quick confirmation. Cheers Michael > > Cheers, Claudio