On Mon, 2021-05-10 at 12:28 +0000, Sorin Srbu wrote: > changing the time format is available in Gnome with an extension. The extension works on GNOME 3.x only. I was not able to find an appropriate extension for GNOME 40