[tz] [PROPOSED PATCH 2/2] * NEWS, asia, backzone, northamerica: Document fractional GMT offsets

[Paul Eggert]

for Chennai, Jakarta, and New York in the 19th century.
---
 NEWS         | 3 +++
 asia         | 4 ++++
 backzone     | 5 +++++
 northamerica | 6 ++++++
 4 files changed, 18 insertions(+)

diff --git a/NEWS b/NEWS
index 53ec202..0f3c809 100644
--- a/NEWS
+++ b/NEWS
@@ -29,6 +29,9 @@ Unreleased, experimental changes
     Gregorian calendar and Universal Time without leap seconds.
     (Thanks to Arthur David Olson for reporting the problem.)
 
+    Fractional-second GMT offsets have been documented for civil time
+    in 19th-century Chennai, Jakarta, and New York.
+
 
 Release 2014g - 2014-08-28 12:31:23 -0700
 
diff --git a/asia b/asia
index 806a8c7..0be896b 100644
--- a/asia
+++ b/asia
@@ -893,6 +893,10 @@ Zone	Asia/Kolkata	5:53:28 -	LMT	1880        # Kolkata
 
 # Indonesia
 #
+# From Paul Eggert (2014-09-06):
+# The 1876 Report of the Secretary of the [US] Navy, p 306 says that Batavia
+# civil time was 7:07:12.5; round to even for Jakarta.
+#
 # From Gwillim Law (2001-05-28), overriding Shanks & Pottenger:
 # http://www.sumatera-inc.com/go_to_invest/about_indonesia.asp#standtime
 # says that Indonesia's time zones changed on 1988-01-01.  Looking at some
diff --git a/backzone b/backzone
index 22ac5c0..f464131 100644
--- a/backzone
+++ b/backzone
@@ -306,6 +306,11 @@ Zone Antarctica/McMurdo	0	-	zzz	1956
 Link Antarctica/McMurdo Antarctica/South_Pole
 
 # India
+#
+# From Paul Eggert (2014-09-06):
+# The 1876 Report of the Secretary of the [US] Navy, p 305 says that Madras
+# civil time was 5:20:57.3.
+#
 # From Paul Eggert (2014-08-21):
 # In tomorrow's The Hindu, Nitya Menon reports that India had two civil time
 # zones starting in 1884, one in Bombay and one in Calcutta, and that railways
diff --git a/northamerica b/northamerica
index ebfe5e3..0f5ed3c 100644
--- a/northamerica
+++ b/northamerica
@@ -277,6 +277,12 @@ Zone	PST8PDT		 -8:00	US	P%sT
 # time zone, but we do go by the Eastern time zone because so many people work
 # in Columbus."
 
+# From Paul Eggert (2014-09-06):
+# Monthly Notices of the Royal Astronomical Society 44, 4 (1884-02-08), 208
+# says that New York City Hall time was 3 minutes 58.4 seconds fast of
+# Eastern time (i.e., -4:56:01.6) just before the 1883 switch.  Round to the
+# nearest second.
+
 # Rule	NAME	FROM	TO	TYPE	IN	ON	AT	SAVE	LETTER
 Rule	NYC	1920	only	-	Mar	lastSun	2:00	1:00	D
 Rule	NYC	1920	only	-	Oct	lastSun	2:00	0	S
-- 
1.9.1