On 2018-05-30 12:37, Aleksey Shipilev wrote: > On 05/30/2018 12:36 PM, Thomas Schatzl wrote: >> Hi again, >> >> I re-added the comments and updated the webrev. They were just not >> worth for me arguing about. > > Yup, ship it. > +1 Stefan > -Aleksey >