On Mon, Feb 13, 2023 at 03:57:03PM -0700, Sean Whitton wrote:
> Hello,
> 
> On Sat 11 Feb 2023 at 11:16AM +02, Eli Zaretskii wrote:

[...]

> > We will have to agree to disagree on that, and this is final.
> 
> Yes, we'll have to agree to disagree. [...]

This is sad.

Cheers
-- 
t