On 2/12/20 6:13 PM, Aleksey Shipilev wrote: > On 2/12/20 6:00 PM, John Paul Adrian Glaubitz wrote: >> On 2/12/20 5:59 PM, Aleksey Shipilev wrote: >>> On 2/12/20 5:54 PM, John Paul Adrian Glaubitz wrote: >>>> I assume I can push with those changes and mark it as Reviewed-by: erikj, >>>> shade? >>> >>> Mark it, yes. I believe non-trivial (yet exceedingly simple) things like >>> these require waiting for >>> 24 hours to anyone else to chime in with comments. There seem to be no rush >>> to get it in, right? >> >> No rush, no. Just wanted to make sure that it's fine to push then :). > > Yes, I believe it would be fine to push then.
I think it is fine to push now ;) -- Thanks, -Aleksey