On Mon, Nov 1, 2021 at 8:55 PM Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > > This follow-up was sufficient. In fact, the original should have been > sufficient for me. ... and as you saw from the pr-tracker-bot, it's all merged now. Sorry for missing that part of your original pull request. Linus