Hello,

On Thu, 23 Jul 2026, at 23:35, Salvatore Bonaccorso wrote:
> FWIW, should we now close this bug?

Yes!

-- 
Cheers,
  Andrej

Reply via email to