On Wed, 13 Feb 2019 22:11:58 +0100 Jann Horn <ja...@google.com> wrote:
> > This is probably more a davem patch than a -mm one. > > Ah, sorry. I assumed that I just should go by which directory the > patched code is in. > > You did just add it to the -mm tree though, right? So I shouldn't > resend it to davem? Yes, please send to Dave. I'll autodrop the -mm copy if/when it turns up in -next.