On Tue, Dec 23, 2025 at 12:30:01PM -0500, Joel Fernandes wrote:
>
>
> On 12/23/2025 12:28 PM, Paul E. McKenney wrote:
> > 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. ;-)
>
> "Was it Paul replying here, or was it his email client?" ;-)
"Yes!!!" ;-)
> Sorry I couldn't help. :-) What is a Christmas holiday if not for poking some
> fun?
No problem!
I was half expecting something along the lines of "Is Paul an AI?" ;-)
Thanx, Paul
