Come to think of it, daylight saving time (DST) switching dates actually vary between the EU and the US: - US: March 14 -- November 7 - EU: March 28 -- Octobe

Come to think of it, daylight saving time (DST) switching dates actually vary between the EU and the US: - US: March 14 -- November 7 - EU: March 28 -- October 31 So, in two weeks, PST will switch to PDT--while CET won't switch to CEDT until four weeks from now. I guess I can rely on the Gnome widget for local times, they keep updating the DST info packages...