<div dir="ltr"><div>For now it can be changed to &quot;official defin[i]tion of UTC&quot; or &quot;official [definition] of UTC&quot; in the TZDB copy. (I&#39;d go with the first; the second causes less spell checker grief.)<br><br></div>    @dashdashado<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 7, 2015 at 4:19 PM, Tim Parenti <span dir="ltr">&lt;<a href="mailto:tim@timtimeonline.com" target="_blank">tim@timtimeonline.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra">Denis,</div><div class="gmail_extra"><br></div><div class="gmail_extra">This error was present in the leap-seconds.3629404800 file as provided by NIST.  I have copied Judah Levine on this message so that it might be fixed in their next version.</div><div class="gmail_extra"><br><div class="gmail_quote">On 7 January 2015 at 16:15, Denis Excoffier <span dir="ltr">&lt;<a href="mailto:iana@denis-excoffier.org" target="_blank">iana@denis-excoffier.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="overflow:hidden">On 2015-01-06 21:22, Tim Parenti wrote:<br>
<br>
&gt; +#    Some systems implement leap seconds by amortizing the leap second<br>
&gt; +#    over the last few minutes of the day. The frequency of the local<br>
&gt; +#    clock is decreased (or increased) to realize the positive (or<br>
&gt; +#    negative) leap second. This method removes the time step described<br>
&gt; +#    above. Although the long-term behavior of the time scale is correct<br>
&gt; +#    in this case, this method introduces an error during the adjustment<br>
&gt; +#    period both in time and in frequency with respect to the official<br>
&gt; +#    defintion of UTC.<br>
<br>
s/defintion/definition/<br>
<br>
Regards,<br>
<br>
Denis Excoffier.</div></blockquote></div><br><br><br clear="all"><div><div>--<br>Tim Parenti<br></div></div>
</div></div>
</blockquote></div><br></div>