Hi, Paul,

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.

http://puentelibre.mx/noticia/ciudad_juarez_cambio_horario_noviembre_2022/

The decree will appear here: https://www.dof.gob.mx/

Regards,

Dave

On Monday, November 28, 2022 at 02:43:25 PM EST, Paul Eggert <eggert@cs.ucla.edu> wrote:

Thank you for the heads-up and explanation about the situation.

I'm attaching an incomplete TZDB patch that attempts to deal with this.
It's incomplete because we don't know when Ciudad Juárez's clocks will
change from -06 to -07, to agree with El Paso. When we find out, we can
install the patch and release a new version as quickly as may be. It's
of course unfortunate this is all being done on such short notice.

The major change from the user viewpoint is a new Zone
America/Ciudad_Juarez, split from America/Ojinaga.

I haven't installed this patch in in the development repository, due to
its incomplete nature.