On Mon, Oct 14, 2019 at 12:03 AM Catalin Marinas <[email protected]> wrote: > > Linus, could you please merge the patch above? I can send it again if > it's easier.
I took it.
Generally I prefer having patches (re-)sent to me explicitly rather
than getting a link to it, so for next time...
Linus
