[tz] America/Mexico_City incorrect DST end time for 2018.

[Brian Inglis]

On 2018-12-25 12:06, Paul Eggert wrote:
> demxic wrote:
>> I would like to draw your attention to the fact that Mexico's City Daylight
>> time ended on October 28 2018 03:00 AM local time. That is the exact moment
>> when clocks moved backward to 02:00 AM.
> 
> What's your source for this information? CENAM
> <https://www.cenam.mx/hora_oficial/> says "el horario de verano inicia el primer
> domingo de abril a las 2h00 de la mañana, momento en el cual los relojes se
> adelantan una hora, y termina el último domingo de octubre a las 2h00 de la
> mañana, instante en el que los relojes se atrasan una hora." This suggests that
> daylight saving time ends at 02:00, not 03:00.

Very clear in:
	https://www.gob.mx/cenam/articulos/cuando-termina-el-horario-de-verano

Debido a lo anterior, el primer domingo de abril no existe la hora del día entre
las 2h00 y las 3h00 de la mañana, puesto que en ese día, una vez que los relojes
marcan las 2h00 de la mañana del horario de invierno, deben ser adelantados
hasta las 3h00 de la mañana del horario de verano. En contra parte, para el
último domingo de octubre existen dos intervalos de tiempo distintos que tienen
el mismo valor numérico en cuanto a la hora del día, este intervalo es de la
1h00 a las 2h00 de la mañana. Lo anterior ocurre debido a que una vez que los
relojes marcan las 2h00 de la mañana del horario de verano, estos son atrasados
una hora para marcar la 1h00 de la mañana del horario de invierno.

which Google Translates as:

Due to the above, the first Sunday of April there is no time of day between 2:00
and 3:00 in the morning, since on that day, once the clocks mark 2:00 in the
morning of the winter schedule, they must be advanced until 3:00 in the morning
of summer time. On the other hand, for the last Sunday of October there are two
different time intervals that have the same numerical value in terms of time of
day, this interval is from 1h00 to 2h00 in the morning. The above occurs because
once the clocks mark 2h00 in the morning of the summer time, they are delayed
one hour to mark 1h00 in the morning of the winter schedule.

-- 
Take care. Thanks, Brian Inglis, Calgary, Alberta, Canada

This email may be disturbing to some readers as it contains
too much technical detail. Reader discretion is advised.