On Tue, Dec 23, 2025 at 12:22:51PM -0500, Joel Fernandes wrote:
> 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". ;-)
Adding Chris on CC for his thoughts on whether it was him or his AI and
whether or not this matters. Should he choose to share any thoughts on
either topic. ;-)
Thanx, Paul
