LGTM, Jc On Wed, Jun 26, 2019 at 11:09 AM Arthur Eubanks <aeubanks at google.com> wrote: > On Wed, Jun 26, 2019 at 10:54 AM Man Cao <manc at google.com> wrote: > > > Looks good. But I'd improve the comment to something like "suppress > known, > > benign races in j.c.u". No need for another webrev. > > > Done > -- Thanks, Jc