Done in r14332. Thanks On Wed, Sep 30, 2015 at 3:58 PM, Amos Jeffries <squid3 at treenet.co.nz> wrote: > On 1/10/2015 1:23 a.m., Kinkie wrote: >> Hi, >> v2 patch attached. >> > > Much better :-) > > +1, and please apply. > > Amos -- Francesco