<html><head></head><body><div class="ydp38c7a2a6yahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div></div>
<div dir="ltr" data-setdir="false">Hi, Paul,</div><div dir="ltr" data-setdir="false"><br></div><div dir="ltr" data-setdir="false"> <div>Thank you for making the patch quickly. According to the news today, the president authorized the publication of the decree for November 29, so the time change would occur on November 30 at 0:00.</div><div dir="ltr" data-setdir="false"><a href="http://puentelibre.mx/noticia/ciudad_juarez_cambio_horario_noviembre_2022/" rel="nofollow" target="_blank">http://puentelibre.mx/noticia/ciudad_juarez_cambio_horario_noviembre_2022/</a></div><div><br></div><div dir="ltr" data-setdir="false">The decree will appear here: <a href="https://www.dof.gob.mx/" rel="nofollow" target="_blank">https://www.dof.gob.mx/</a></div><div><br></div><div dir="ltr" data-setdir="false">Regards,</div><div dir="ltr" data-setdir="false">Dave</div></div><div><br></div>
</div><div id="ydp60ddf37yahoo_quoted_0232912075" class="ydp60ddf37yahoo_quoted">
<div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
<div>
On Monday, November 28, 2022 at 02:43:25 PM EST, Paul Eggert <eggert@cs.ucla.edu> wrote:
</div>
<div><br></div>
<div><br></div>Thank you for the heads-up and explanation about the situation.<br clear="none"><div><div dir="ltr"><br clear="none">I'm attaching an incomplete TZDB patch that attempts to deal with this. <br clear="none">It's incomplete because we don't know when Ciudad Juárez's clocks will <br clear="none">change from -06 to -07, to agree with El Paso. When we find out, we can <br clear="none">install the patch and release a new version as quickly as may be. It's <br clear="none">of course unfortunate this is all being done on such short notice.<br clear="none"><br clear="none">The major change from the user viewpoint is a new Zone <br clear="none">America/Ciudad_Juarez, split from America/Ojinaga.<br clear="none"><br clear="none">I haven't installed this patch in in the development repository, due to <br clear="none">its incomplete nature.</div></div>
</div>
</div></body></html>