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. Tim.