On Wed, Aug 17, 2022 at 10:28 PM Kees Cook <keescook@xxxxxxxxxxxx> wrote: > > Reviewed-by: Kees Cook <keescook@xxxxxxxxxxxx> Thanks a lot for all the reviews Kees! In case you are wondering, I removed your previous Review of this one too since we got some new `R` lines. I guessed you would have been OK either way given new names are trivial, but it did change a fair % of the patch, so I played it safe... :-) Cheers, Miguel
