From 6bf3a2a0143c6a8a3d0af8832e599bf706e7eb29 Mon Sep 17 00:00:00 2001
From: Arthur David Olson <olsona@elsie>
Date: Tue, 18 Mar 2008 12:21:12 -0400
Subject: [PATCH] Saigon -> Ho_Chi_Minh

SCCS-file: asia
SCCS-SID: 8.16
---
 asia | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/asia b/asia
index 5d0c9f6..4690853 100644
--- a/asia
+++ b/asia
@@ -1873,13 +1873,13 @@ Zone	Asia/Tashkent	4:37:12 -	LMT	1924 May  2
 
 # Vietnam
 
-# From Paul Eggert (1993-11-18):
-# Saigon's official name is Thanh-Pho Ho Chi Minh, but it's too long.
-# We'll stick with the traditional name for now.
+# From Arthur David Olson (2008-03-18):
+# The English-language name of Vietnam's most populous city is "Ho Chi Min City";
+# we use Ho_Chi_Minh below to avoid a name of more than 14 characters.
 
 # From Shanks & Pottenger:
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
-Zone	Asia/Saigon	7:06:40 -	LMT	1906 Jun  9
+Zone	Asia/Ho_Chi_Minh	7:06:40 -	LMT	1906 Jun  9
 			7:06:20	-	SMT	1911 Mar 11 0:01 # Saigon MT?
 			7:00	-	ICT	1912 May
 			8:00	-	ICT	1931 May