Show clock in local time format (i.e. in 24h)

All the time stamps in the UI are shown in AM/PM format. I don’t live in the US, so I’d like to see this in 24h format (since I keep forgetting which time 12PM actually is…). I couldn’t find a setting for this, but I would also assume that the UI could use the system’s setting.