On Tue, Jun 9, 2020 at 8:30 AM Oleg Nesterov <o...@redhat.com> wrote: > > Looks like this patch was forgotten... > > Should I resend it?
I guess I'll just take it directly, since it was triggered by me complaining anyway. I had hoped it would go through the usual channels. Linus