On Monday, September 26 2022, Hadrien Mary wrote:
> I confirm the fix on Ubuntu 22.10 recently updated.
Thanks, Hadrien.
-- Sergio GPG key ID: E92F D0B3 6B14 F1F4 D8E0 EB2F 106D A1C8 C3CB BF14
On Monday, September 26 2022, Hadrien Mary wrote:
> I confirm the fix on Ubuntu 22.10 recently updated.
Thanks, Hadrien.
--
Sergio
GPG key ID: E92F D0B3 6B14 F1F4 D8E0 EB2F 106D A1C8 C3CB BF14