On 12/23/2025 11:37 AM, Steven Rostedt wrote: > On Mon, 22 Dec 2025 17:12:18 -0800 > "Paul E. McKenney" <[email protected]> wrote: > >> Good eyes, thank you! >> >> Unfortunately, Chris Mason beat you to it: > > Was it Chris or his AI? ;-)
Does it matter? It is like saying, was it "Chris or his text editor". ;-) - Joel
