Sept. 15, 2014
8:56 a.m.
Patch looks good. Was looking at this because Java (yes I know but...) thinks that Europe/London Sun Oct 31 01:59:59 1971 UT Is the following in Europe/London... 1971-10-31 02:59:59 GMT (+0100) Using SimpleDateFormat("yyyy-MM-dd HH:mm:ss z (ZZZZ)"); ... some sort of new definition of GMT... On 15 September 2014 18:09, Paul Eggert <eggert@cs.ucla.edu> wrote:
Perhaps we should document the alternative meaning of "BST" more clearly, as in the attached proposed patch.