On 11 August 2014 11:19, Tim Northover <t.p.northover at gmail.com> wrote: > Thanks Stephen and Renato. It should be committed as r215352 now. Sorry, I meant thanks Daniel. Tim.