[tz] Re: EST5EDT should not resolve to America/New_York because they have different offsets

[Paul Eggert via tz]

On 2025-02-20 11:01, Jonathan Wakely via tz wrote:
That was the offset prior to 1920, but it's -5:00 now.

Very minor correction: New York switched to -5:00 on November 18, 1883 
at noon new time (17:00 GMT).