On 07/25/2013 11:38 AM, Marc Glisse wrote: > The patch attached to the PR seems fine to me (assuming it passes > testing etc), but Jonathan seems to prefer a different approach, so > I'll let him decide. Ah, Ok, thanks a lot. Paolo.