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?" ;-)
Sorry I couldn't help. :-) What is a Christmas holiday if not for poking some
fun?
- Joel
