On 18 Jul 2016, at 13:30, Hans Wennborg <hans at chromium.org> wrote: >> This had probably just as well go into the release branch. A simple >> fix early on. Shall I cherry-pick it? > > Yes, go ahead. Thanks, it's r275918 on release_39. Tim.