Insert ARST into the list of known timezone abbreviations.

diff --git a/src/timezone/tznames/America.txt b/src/timezone/tznames/America.txt
index aec13aaad8248c20a71f411c1c6a8669557b6203..3f1c5bba4858d19fc205ac36070ef851b82fd0c0 100644 (file)
--- a/src/timezone/tznames/America.txt
+++ b/src/timezone/tznames/America.txt
@@ -52,7 +52,18 @@ AMT    -14400    # Amazon Time
                  #     (America/Cuiaba)
                  #     (America/Manaus)
                  #     (America/Porto_Velho)
-ART    -10800    # Argentina Time (not in zic)
+ART    -10800    # Argentina Time
+                 #     (America/Argentina/Buenos_Aires)
+                 #     (America/Argentina/Cordoba)
+                 #     (America/Argentina/Tucuman)
+                 #     (America/Argentina/La_Rioja)
+                 #     (America/Argentina/San_Juan)
+                 #     (America/Argentina/Jujuy)
+                 #     (America/Argentina/Catamarca)
+                 #     (America/Argentina/Mendoza)
+                 #     (America/Argentina/Rio_Gallegos)
+                 #     (America/Argentina/Ushuaia)
+ARST    -7200 D  # Argentina Summer Time
 # CONFLICT! AST is not unique
 # Other timezones:
 #  - AST: Arabic Standard Time (Asia)

diff --git a/src/timezone/tznames/Default b/src/timezone/tznames/Default
index 57e438f73c262bc47aaf52f6cc6364e84f6a7974..633d78023d8e4589703ecd5f3e838f63542a3252 100644 (file)
--- a/src/timezone/tznames/Default
+++ b/src/timezone/tznames/Default
@@ -55,7 +55,18 @@ AKST   -32400    # Alaska Standard Time
                  #     (America/Juneau)
                  #     (America/Nome)
                  #     (America/Yakutat)
-ART    -10800    # Argentina Time (not in zic)
+ART    -10800    # Argentina Time
+                 #     (America/Argentina/Buenos_Aires)
+                 #     (America/Argentina/Cordoba)
+                 #     (America/Argentina/Tucuman)
+                 #     (America/Argentina/La_Rioja)
+                 #     (America/Argentina/San_Juan)
+                 #     (America/Argentina/Jujuy)
+                 #     (America/Argentina/Catamarca)
+                 #     (America/Argentina/Mendoza)
+                 #     (America/Argentina/Rio_Gallegos)
+                 #     (America/Argentina/Ushuaia)
+ARST    -7200 D  # Argentina Summer Time
 BOT    -14400    # Bolivia Time
                  #     (America/La_Paz)
 BRA    -10800    # Brazil Time (not in zic)