Sept. 3, 2013
3:20 p.m.
On Tue, Sep 3, 2013, at 10:46, Paul Eggert wrote:
Kansas is split into two time zones, for example, but we don't have two entries for it in zone.tab -- the people in Kansas can use America/Denver or America/Chicago as appropriate. The situation for Indiana is similar: people in (say) Gary can use America/Chicago.
I was pointing out the Indiana thing _in support of_ removing America/Shiprock. I'm not sure what you're disagreeing with here.