On Mon, Jul 13, 2020 at 3:24 PM Nick Desaulniers <ndesaulni...@google.com> wrote: > > Otherwise, is there any additional feedback on this series or is it good to > go?
I've lost sight of the series. I'm sure it is fine, but maybe you can
resend it to me (in private, if it's already been going out on the
mailing lists and everybody else is completely fed up with it).
And no, pointing to the "plus this hunk" with a web link isn't what I
was looking for ;)
Linus
