<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Mar 10, 2013 at 9:47 PM, Paul Eggert <span dir="ltr"><<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thanks for the heads-up. Here's the obvious patch for this,<br>
which I've pushed to the github experimental version.<br>
<br>
This seems high-priority, since it affects today's time stamps,<br>
so I'd like to generate a new tz version soon.<br><span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div style>Yes, an official 2012b release sooner rather than later would be very helpful. Also for the pending Paraguay changes.</div>
<div style><br></div><div style>It would be so nice if countries could be convinced not to make last minute changes, but that doesn't seem to be in the cards. Changes with lead time measured in days or weeks rather than months cause a bit of internal hustle, trying to get them fully deployed before the time changes take effect, or to at least minimize the amount of time we are live with the wrong time. Having the time zone updates released even a few days sooner in these cases can be a big help.</div>
<div style><br></div><div style>If there's anything we could do to help, please let me know.</div><div style><br></div><div style>Thanks,</div><div style><br></div><div style> -- Andy Heninger</div><div style> <a href="mailto:aheninger@google.com">aheninger@google.com</a></div>
<div style><br></div><div style><br></div><div style><br></div><div><br></div><div> </div></div><br></div></div>