On Fri, Jan 23, 2015 at 9:45 AM, Tim Northover <t.p.northover at gmail.com> wrote: > On 23 January 2015 at 09:13, Hans Wennborg <hans at chromium.org> wrote: >> If Tim is ok with it, I'm happy to merge it. > > I think it probably makes sense. Go for it. Merged in r226918. Cheers, Hans