On 01/18/2012 09:27 PM, François Dumont wrote: > Attached patch applied. Thanks. Apparently 51845 is an unrelated issue, Jakub has an analysis and a candidate fix. Can you please look into that? Thanks again, Paolo.