[tz] Tonga returns to DST on 2016-11-06

[Paul Eggert]

Thanks for preparing those patches. I installed them in the development 
repository along with the attached, which uses a fakauʻa in Pulu ʻAnau's name (I 
assume this is the proper orthography for a Tongan name - please correct me if 
wrong), and which replaces the invented time zone abbreviations with numeric ones.

It looks like we'll need a new release soon, since the current data are wrong 
starting about ten days from now. This is not enough notice of course.
-------------- next part --------------
diff --git a/NEWS b/NEWS
index e6e2d55..489574f 100644
--- a/NEWS
+++ b/NEWS
@@ -2,12 +2,15 @@ News for the tz database
 
 Unreleased, experimental changes
 
+  Briefly: Tonga has reintroduced DST, starting 2016-11-06.
+
   Changes to future time stamps
 
     Pacific/Tongatapu begins DST on 2016-11-06 at 02:00, ending on
     2017-01-15 at 03:00.  Assume future observances in Tonga will be
     from the first Sunday in November through the third Sunday in
-    January, like Fiji.  (Thanks to Pulu 'Anau.)
+    January, like Fiji.  (Thanks to Pulu ʻAnau.)  Switch to numeric
+    time zone abbreviations for this zone.
 
   Changes to past time stamps
 
diff --git a/australasia b/australasia
index 103aa74..0bca53e 100644
--- a/australasia
+++ b/australasia
@@ -706,9 +706,9 @@ Rule	Tonga	2016	max	-	Nov	Sun>=1	2:00	1:00	S
 Rule	Tonga	2017	max	-	Jan	Sun>=15	3:00	0	-
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone Pacific/Tongatapu	12:19:20 -	LMT	1901
-			12:20	-	TOT	1941 # Tonga Time
-			13:00	-	TOT	1999
-			13:00	Tonga	TO%sT
+			12:20	-	+1220	1941
+			13:00	-	+13	1999
+			13:00	Tonga	+13/+14
 
 # Tuvalu
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
@@ -1714,14 +1714,13 @@ Zone	Pacific/Wallis	12:15:20 -	LMT	1901
 # of January the standard time in the Kingdom shall be moved backward by one
 # hour to 1:00am.
 
-# From Pulu 'Anau (2002-11-05):
+# From Pulu ʻAnau (2002-11-05):
 # The law was for 3 years, supposedly to get renewed.  It wasn't.
 
-# From Pulu 'Anau (2016-10-27):
+# From Pulu ʻAnau (2016-10-27):
 # http://mic.gov.to/news-today/press-releases/6375-daylight-saving-set-to-run-from-6-november-2016-to-15-january-2017
-# Cannot find anyone who knows the rules, has seen the duration or
-# has seen the cabinet decision, but it appears we are following Fiji's rule
-# set.
+# Cannot find anyone who knows the rules, has seen the duration or has seen
+# the cabinet decision, but it appears we are following Fiji's rule set.
 #
 # From Tim Parenti (2016-10-26):
 # Assume Tonga will observe DST from the first Sunday in November at 02:00