On 28 July 2015 at 17:36, Hans Wennborg <hans at chromium.org> wrote: > Yes, go ahead and merge (or let me know and I'll do it). Thanks! Both merged in r243629. --renato