[tz] zoneinfo : ist : error

[Paul Eggert]

On 12/21/2012 12:49 AM, Mayuresh Kathe wrote:
> population wise, mumbai (bombay) is quite larger than kolkata (calcuta),

When that table was constructed long ago, the reverse was true,
at least for the sources I consulted.  But times have changed,
and according to the provisional 2011 census of India, the
metro area populations were:

14,112,536 Kolkata
16,314,838 Delhi
18,414,288 Mumbai

In the past, we've avoided change when the
populations are reasonably close, as there is some advantage
to sticking with stable identifiers.  It's not clear that
a change is warranted here, but if there is a change then
Mumbai would be the natural choice.

Whether the city is close to the clock's meridian has not
been a factor in the choice of city -- see Europe/Moscow,
for example.

My source for the census populations is

http://censusindia.gov.in/2011-prov-results/paper2/data_files/india2/Million_Plus_UAs_Cities_2011.pdf