what's the value of "gsettings get org.gnome.desktop.interface clock-format"? Could be https://bugzilla.gnome.org/show_bug.cgi?id=765370
what's the value of "gsettings get org.gnome. desktop. interface clock-format"? Could be https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 765370