For what it is worth, Asia/Calcutta was already renamed to Asia/Kolkata many years ago. The old name, Asia/Calcutta is preserved as a backwards compatibility alias to Asia/Kolkata.<div><br></div><div><div>-Scott<br><br><div class="gmail_quote">
On Tue, Jan 4, 2011 at 1:34 PM, Paul Eggert <span dir="ltr"><<a href="mailto:eggert@cs.ucla.edu">eggert@cs.ucla.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
As I understand it, it's not even close: nowadays<br>
Mumbai aka Bombay has more than 2x the people of Kolkata aka Calcutta.<br>
<br>
Also, "Mumbai" is more commonly used in English to refer<br>
to the name of the city. So this suggests that we should<br>
change it to Asia/Mumbai.<br>
<br>
Further comments are welcome.<br>
<br>
</blockquote></div><br><br clear="all"><br>-- <br>Scott Atwood<br><br>The hill isn't in the way, it is the way.<br><br><br>
</div></div>