On Tue, May 7, 2019 at 1:40 PM Christian Brauner <[email protected]> wrote: > > Oh, sorry. You want me to send a follow-up that fixes it?
Yes, but no hurry. If you add it to the queue of fixup patches, that
would be good.
And if it ends up being the *only* such patch by the end of the merge
window, that's fine and you can just send it as a patch (or git pull),
but if there are other fixes just send it together with those.
Ok?
Linus
