note 98509 added to timezones.asia

I wonder why Asia/Hanoi does not exist in the list, since Hanoi is the capital in Vietnam, not Ho Chi Minh City. Furthermore Asia/Saigon should be the same timezone as Asia/Ho_Chi_Minh so any reason for having both? ---- Server IP: 69.147.83.197 Probable Submitter: 115.73.129.47 ---- Manual Page -- http://www.php.net/manual/en/timezones.asia.php Edit -- https://master.php.net/note/edit/98509 Del: integrated -- https://master.php.net/note/delete/98509/integrated Del: useless -- https://master.php.net/note/delete/98509/useless Del: bad code -- https://master.php.net/note/delete/98509/bad+code Del: spam -- https://master.php.net/note/delete/98509/spam Del: non-english -- https://master.php.net/note/delete/98509/non-english Del: in docs -- https://master.php.net/note/delete/98509/in+docs Del: other reasons-- https://master.php.net/note/delete/98509 Reject -- https://master.php.net/note/reject/98509 Search -- https://master.php.net/manage/user-notes.php