Re: Something going wrong with Firefox 116.0.2

[Fons Adriaensen]

On Tue, Aug 15, 2023 at 11:12:08PM +0200, Robin Candau wrote:

> Let's either drop it or focus on the potential Firefox issue initially
> stated please.

Agreed. I had no idea that this was something 'controversial',
hence my question.

Ciao,

-- 
FA