Comment 4 for bug 1621539

Sam Williams (sam-williams) wrote :

Hey Sebastien! Thanks for looking into this problem.

When I run gsettings get org.gnome.desktop.interface clock-format I get:
'12h'

Hope that helps!