On Mon, Oct 24, 2022 at 1:04 PM Paul E. McKenney <paulmck@xxxxxxxxxx> wrote:
>
> Please accept my apologies for my confusion!
>
> Please see below for a pull request for a better-formatted commit.
Oh, it was such a small nit that I already pulled your tree - my note
was really just a "not a big deal, but in the future it would be nice
if.."
Linus
