Hi, Am 07.10.22 um 21:00 schrieb Gunter Königsmann:
Ubuntu 22.10 had the same problem until a few weeks ago.
Until which version? This suggests this is fixed in 7.4.2 then? Regards, Rene