For the USA, does city mean the metro area or the city proper? The next five metros in Eastern time after NYC are Washington, Philadelphia, Miami, Boston; for cities proper, it's Philadelphia, Jacksonville, (Indianapolis), Columbus, Charlotte. Envoyé de mon iPad
Le 20 févr. 2018 à 17:25, Paul Eggert <eggert@cs.ucla.edu> a écrit :
If New York ever switches to Atlantic time (unlikely but conceivable given the current state of US politics), we'll link some other location to US/Eastern in the 'backward' file. Although it's not now clear what that other location would be (it'd depend on what part of the US switches), one candidate would be America/Indiana/Indianapolis. This is because if Jacksonville, Philadelphia and New York all switch to Atlantic time, then Indianapolis could well be the largest remaining city observing US Eastern time. This should amuse those of us who recall the history of UT offsets in Indiana.