One thing that I noticed because of this change (which is now irrelevant because of the change) is that the former zone encompassing the parts of Chihuahua near the U.S. border was named `America/Ojinaga`, despite Ciudad Juárez being nearly 60 times larger by population (according to the numbers on Wikipedia) and in general being far more well-known. Obviously this is no longer relevant with the splitting of the two into separate zones, but I'm curious if anyone on this list knows why Ojinaga was chosen as the identifier. --mle On Tue, 29 Nov 2022 at 11:56, Paul Eggert via tz <tz@iana.org> wrote:
On 2022-11-28 19:55, Heitor David Pinto via tz wrote:
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/
Thanks for the transition time. I installed the attached patch into the TZDB development repository. It matches the patch I already circulated, except with a transition time of tomorrow at 00:00 local time and with updated commentary.
Since the current TZDB release becomes wrong in about 13 hours, I'll prepare a new release shortly.