<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Sep 14, 2015 at 3:13 PM, Random832 <span dir="ltr"><<a href="mailto:random832@fastmail.com" target="_blank">random832@fastmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":1ik" class="a3s" style="overflow:hidden">(No, I don't<br>
*care* how that's not how it's defined, it is *in fact* true for the UTC<br>
value that you will ever actually get from converting the values to UTC<br>
*today*, and it's the only total ordering that actually makes any sense)</div></blockquote></div><br>This is a fine attitude when you implement your own brand new datetime library.  As an author of a new library you have freedoms that developers of a 12 years old widely deployed code don't have.</div></div>