5 Feb
2008
5 Feb
'08
3:23 a.m.
Which time zone is used at what time indeed changes frequently but I am not aware of any case where the meaning of a time zone _name_ changed.
What's your source for time-zone names?
I just realised I forgot to add a comment in the patch. It's the table from the PostgreSQL manual http://www.postgresql.org/docs/8.1/static/datetime-keywords.html Cheers, David -- David Leuschner Meisenweg 7 79211 Denzlingen Tel. 07666/912466