Gnome time format wrong again

[Robert Moskowitz]

Again the time format has switched from date-AM/PM to DoW-24hr.  It 
happened sometime since last night.  I don't always look hard at the 
time, but I know it was the 'right' format last night.  The settings are 
right.  Last time a <alt-F1>r put the format back.  Before I try that 
which log file might I look into for something happening (and what to 
look for) that might point to the problem.  Perhaps I might even file a 
bug report....