thomas(at)postgresql(dot)org writes:
> Log message:> Define CEST as a synonym for Central European Savings Time
"Central European Summer Time" (FYI)
-- Peter Eisentraut peter_e(at)gmx(dot)net http://funkturm.homeip.net/~peter