<div dir="ltr"><div>Patch looks good.<br><br><br></div><div>Was looking at this because Java (yes I know but...) thinks that<br><br>   Europe/London  Sun Oct 31 01:59:59 1971 UT<br><br></div>Is the following in Europe/London...  <br><div><br>   1971-10-31 02:59:59 GMT (+0100)<br><br>Using SimpleDateFormat(&quot;yyyy-MM-dd HH:mm:ss z (ZZZZ)&quot;);<br><br></div><div>... some sort of new definition of GMT...<br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 15 September 2014 18:09, Paul Eggert <span dir="ltr">&lt;<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Perhaps we should document the alternative meaning of &quot;BST&quot; more clearly, as in the attached proposed patch.<br>
</blockquote></div><br></div>