<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><br></div><div dir="ltr"><div dir="ltr" class="gmail_attr">On Mon, 18 Feb 2019 at 05:21, KP <<a href="mailto:khaiphan9x@gmail.com" target="_blank">khaiphan9x@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">Paul Eggert, I know that there must be some rules for forming time zones.</div></blockquote><div><br></div><div>Those guidelines are well-established and are available in the theory.html file of our distribution.  You can read the most recently-released version of that file here: <a href="ftp://ftp.iana.org/tz/tzdb-2018i/theory.html" target="_blank">ftp://ftp.iana.org/tz/tzdb-2018i/theory.html</a></div><div><br></div><div>In particular, take note of these two guidelines:</div><div><ul><li>"If all the clocks in a timezone have agreed since 1970, do not bother to include more than one timezone even if some of the clocks disagreed before 1970."</li><li>"Use the most populous among locations in a region, e.g., prefer <font face="monospace, monospace">Asia/Shanghai</font> to <font face="monospace, monospace">Asia/Beijing</font>."<br></li></ul></div><div>It is these two guidelines, and this group's generally strong adherence to them, that are the main reasons your request is meeting opposition.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">However, I see many exceptions such as Shanghai and Beijing, there are many other places that I have not mentioned.</div></blockquote></div><div dir="ltr"><br></div><div>As many have mentioned repeatedly, and as is demonstrated by example in the guidelines quoted above, Asia/Beijing is NOT a zone that this database provides, and that is NOT an exception that this group has made.  See these lines in the most recently-released 'asia' file, which you can see at <a href="ftp://ftp.iana.org/tz/tzdb-2018i/asia" target="_blank">ftp://ftp.iana.org/tz/tzdb-2018i/asia</a></div><div><br></div><div><div><font face="monospace, monospace"># Beijing time, used throughout China; represented by Shanghai.</font></div><div><font face="monospace, monospace">Zone<span style="white-space:pre-wrap">   </span>Asia/Shanghai<span style="white-space:pre-wrap">   </span>8:05:43<span style="white-space:pre-wrap"> </span>-<span style="white-space:pre-wrap">       </span>LMT<span style="white-space:pre-wrap">     </span>1901</font></div><div><font face="monospace, monospace"><span style="white-space:pre-wrap">                      </span>8:00<span style="white-space:pre-wrap">    </span>Shang<span style="white-space:pre-wrap">   </span>C%sT<span style="white-space:pre-wrap">    </span>1949 May 28</font></div><div><font face="monospace, monospace"><span style="white-space:pre-wrap">                       </span>8:00<span style="white-space:pre-wrap">    </span>PRC<span style="white-space:pre-wrap">     </span>C%sT</font></div></div><div><br></div><div>Although the comment line acknowledges that the official governmental name of the time zone translates as "Beijing time", the actual name of the Zone for tz purposes is Asia/Shanghai.  Both Shanghai and Beijing have always had the same clock offsets since 1970 (in this case, UT+8 with some DST from 1986 to 1991), so, by the first quoted guideline above, only one Zone is needed in the tz database.  By the second quoted guideline above, Shanghai was chosen because it has a larger population than Beijing.</div><div><br></div><div>If you are seeing Asia/Beijing as a time zone somewhere, then it is NOT coming directly from the data this group provides.  You may find better luck petitioning the downstream distributor of that data, as it is NOT a valid example that will be found to be convincing here.</div><div><br></div><div>* * *</div><div><br></div><div>The case in Vietnam is indeed a little different, but it is already covered.  Although clocks in Ho Chi Minh City and Hanoi HAVE differed since 1970 (by one hour until 1975-06-13), the clocks in Hanoi and Bangkok have not differed (that is, they have both been at UT+7 the whole time since 1970).  So, by the first quoted guideline above, only one Zone is needed to represent both areas.  By the second quoted guideline above, just like in the China case, Bangkok was chosen because it has a larger population than Hanoi:</div><div><br></div><div><a href="https://www.citypopulation.de/Thailand-Cities.html" target="_blank">https://www.citypopulation.de/Thailand-Cities.html</a> — Bangkok Metropolitan (15,931,300) <br></div><div><a href="https://www.citypopulation.de/Vietnam-Cities.html" target="_blank">https://www.citypopulation.de/Vietnam-Cities.html</a> — Hà Nội including Hà Tây (7,420,100)<br></div><div><br></div><div>By following the guidelines in theory.html, we find that Hanoi is already considered properly covered by Asia/Bangkok for all timestamps since 1970, and this is indeed already reflected by the inclusion of Vietnam's country code in the corresponding entry in the zone1970.tab file, which indicates that there are two options for Vietnam.  You can see that file at <a href="ftp://ftp.iana.org/tz/tzdb-2018i/zone1970.tab" target="_blank">ftp://ftp.iana.org/tz/tzdb-2018i/zone1970.tab</a></div><div><br></div><div><font face="monospace, monospace">TH,KH,LA,VN     +1345+10031     Asia/Bangkok    Indochina (most areas)</font><br></div><div><font face="monospace, monospace">...</font></div><div><font face="monospace, monospace">VN      +1045+10640     Asia/Ho_Chi_Minh        Vietnam (south)<br></font></div><div dir="ltr"><br></div><div>Realistically, though, if you don't need timestamps from 1975 or earlier, then even Asia/Ho_Chi_Minh will work for those purposes.</div><div dir="ltr"><br clear="all"><div><div dir="ltr" class="m_-6670216677432564291gmail_signature">--<br>Tim Parenti</div></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
</blockquote></div>
</blockquote></div></div></div></div></div></div></div></div></div></div></div></div></div></div>