On Wed, Oct 12, 2016 at 8:30 AM, Andreas Cadhalpun < andreas.cadhalpun at googlemail.com> wrote: > > Updated patch attached. New patch looks good to me (though I don't have push privileges so can't commit it). Thanks!