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. -Aleksey