Am Montag, dem 15.05.2023 um 16:52 +0200 schrieb Giovanni Biscuolo: > Hello, > > gentle ping (and I forgot to Cc: the gnome team) Pushed now.
Cheers
Am Montag, dem 15.05.2023 um 16:52 +0200 schrieb Giovanni Biscuolo: > Hello, > > gentle ping (and I forgot to Cc: the gnome team) Pushed now.
Cheers