Mexico City timezone changes

[Cecilia Lam]

I would like to get some advice from the timezone community. Apparently, Mexico has voted to abolish summer time. They are not turning the clock forwards in March 2023. Does the community here know more information? is the timezone data here for Mexico city still correct?

https://github.com/vvo/tzdb/blob/main/raw-time-zones.json#L25

This is the articles from the news October, 2022. https://www.theguardian.com/world/2022/oct/27/mexico-votes-abolish-summer-time-daylight-savings

Thanks and appreciated.