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? -- Thanks, -Aleksey
