I also am running an English installation, with my location set to

Jerusalem. In Israel we use 24 hour time. But what are these GNOME time
settings? In System / Administration / Time and Date there is nowhere to
adjust 12/24. Please help me to find the GNOME settings.

I am not sure but maybe someone answered this one already, but I usually right click the clock at the upper right corner, then Preferences. Then I see the 12/24 h option right in front of me…

☺

Johnny Rosenberg