On 10/06/2011 02:03 AM, Paolo Carlini wrote: > Hi, > > the below hunk seems spurious?!? ... I went ahead and reverted the change, wasn't documented anywhere, definitely unintended. Paolo.