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

[Paul Eggert]

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.