On Sat, Dec 22, 2018 at 3:07 PM Christian Brauner <[email protected]> wrote: > > However, for this case should I resend the revert?
Since I was pointed at the original email thread, I just picked it up
from there directly. It still applied cleanly, nothing had changed in
that area.
Linus
