Re: British Double Summer Time

> I dumped a 7.1devel database, and when reloading into postgres of 31 Oct
> 2001 20:23 GMT I get:
> psql:foobar.db:60: ERROR:  copy: line 2247, Bad timestamp external
> representation 'Fri 01 Aug 00:00:00 1941 BDST'
> psql:foobar.db:60: lost synchronization with server, resetting connection
> My zoneinfo files know about BDST, but src/backend/utils/adt/datetime.c
> doesn't...

In 6 years of date/time work, this is the first I've heard of "BDST".
Can you give me a definition? What is the "double" part of it?? Does it
actually stand for "British Daylight Savings Time"?
                        - Thomas