104 lines
4.0 KiB
Diff
104 lines
4.0 KiB
Diff
|
From eff0719a7dc9e0fa7faae3fdce27752daac5a5e3 Mon Sep 17 00:00:00 2001
|
||
|
|
From: Paul Eggert <eggert@cs.ucla.edu>
|
||
|
|
Date: Sat, 24 Oct 2020 14:55:32 -0700
|
||
|
|
Subject: [PATCH 4/6] Fix Kenya transitions 1908/1960
|
||
|
|
|
||
|
|
Fix several transitions from 1908 through 1960, and supply
|
||
|
|
legal citations for the fixes. (Thanks to P Chan.)
|
||
|
|
* NEWS: Mention this.
|
||
|
|
* africa (Africa/Nairobi): Fix all transitions for 1908 through 1960.
|
||
|
|
---
|
||
|
|
NEWS | 13 +++++++++++++
|
||
|
|
africa | 51 +++++++++++++++++++++++++++++++++++++++++++++++----
|
||
|
|
2 files changed, 60 insertions(+), 4 deletions(-)
|
||
|
|
|
||
|
|
diff --git a/NEWS b/NEWS
|
||
|
|
index 328face..27ad63d 100644
|
||
|
|
--- a/NEWS
|
||
|
|
+++ b/NEWS
|
||
|
|
@@ -1,5 +1,18 @@
|
||
|
|
News for the tz database
|
||
|
|
|
||
|
|
+Unreleased, experimental changes
|
||
|
|
+
|
||
|
|
+ Changes to past timestamps
|
||
|
|
+
|
||
|
|
+ Correct several 1908 through 1960 transitions for Kenya and adjacent,
|
||
|
|
+ fixing several hazy entries originally derived from Shanks.
|
||
|
|
+ Insert a transition from LMT to +0230 on 1908-05.
|
||
|
|
+ The first transition to +03 was on 1928-06-30, not 1928-07.
|
||
|
|
+ The later transition to +0230 was on 1930-01-04, not the guessed 01-01.
|
||
|
|
+ The transition to +0245 was on 1936-12-31, not 1940.
|
||
|
|
+ And the final transition to +03 was on 1942-07-31, not 1960.
|
||
|
|
+ (Thanks to P Chan.)
|
||
|
|
+
|
||
|
|
Release 2020d - 2020-10-21 11:24:13 -0700
|
||
|
|
|
||
|
|
Briefly:
|
||
|
|
diff --git a/africa b/africa
|
||
|
|
index 566436b..2313e71 100644
|
||
|
|
--- a/africa
|
||
|
|
+++ b/africa
|
||
|
|
@@ -433,11 +433,54 @@ Zone Africa/Bissau -1:02:20 - LMT 1912 Jan 1 1:00u
|
||
|
|
0:00 - GMT
|
||
|
|
|
||
|
|
# Kenya
|
||
|
|
+
|
||
|
|
+# From P Chan (2020-10-24):
|
||
|
|
+#
|
||
|
|
+# The standard time of GMT+2:30 was adopted in the East Africa Protectorate....
|
||
|
|
+# [The Official Gazette, 1908-05-01, p 274]
|
||
|
|
+# https://books.google.com/books?id=e-cAC-sjPSEC&pg=PA274
|
||
|
|
+#
|
||
|
|
+# At midnight on 30 June 1928 the clocks throughout Kenya was put forward
|
||
|
|
+# half an hour by the Alteration of Time Ordinance, 1928.
|
||
|
|
+# https://gazettes.africa/archive/ke/1928/ke-government-gazette-dated-1928-05-11-no-28.pdf
|
||
|
|
+# [Ordinance No. 11 of 1928, The Offical Gazette, 1928-06-26, p 813]
|
||
|
|
+# https://books.google.com/books?id=2S0S6os32ZUC&pg=PA813
|
||
|
|
+#
|
||
|
|
+# The 1928 ordinance was repealed by the Alteration of Time (repeal) Ordinance,
|
||
|
|
+# 1929 and the time was restored to GMT+2:30 at midnight on 4 January 1930.
|
||
|
|
+# [Ordinance No. 97 of 1929, The Official Gazette, 1929-12-31, p 2701]
|
||
|
|
+# https://books.google.com/books?id=_g18jIZQlwwC&pg=PA2701
|
||
|
|
+#
|
||
|
|
+# The Alteration of Time Ordinance, 1936 changed the time to GMT+2:45
|
||
|
|
+# and repealed the previous ordinance at midnight on 31 December 1936.
|
||
|
|
+# [The Official Gazette, 1936-07-21, p 705]
|
||
|
|
+# https://books.google.com/books?id=K7j41z0aC5wC&pg=PA705
|
||
|
|
+#
|
||
|
|
+# The Defence (Amendment of Laws No. 120) Regulations changed the time
|
||
|
|
+# to GMT+3 at midnight on 31 July 1942.
|
||
|
|
+# [Kenya Official Gazette Supplement No. 32, 1942-07-21, p 331]
|
||
|
|
+# https://books.google.com/books?hl=zh-TW&id=c_E-AQAAIAAJ&pg=PA331
|
||
|
|
+# The provision of the 1936 ordinance was not repealed and was later
|
||
|
|
+# incorporated in the Interpretation and General Clauses Ordinance in 1948.
|
||
|
|
+# Although it was overridden by the 1942 regulations.
|
||
|
|
+# [The Laws of Kenya in force on 1948-09-21, Title I, Chapter 1, 31]
|
||
|
|
+# https://dds.crl.edu/item/217517 (p.101)
|
||
|
|
+# In 1950 the Interpretation and General Clauses Ordinance was amended to adopt
|
||
|
|
+# GMT+3 permanently as the 1942 regulations were due to expire on 10 December.
|
||
|
|
+# https://books.google.com/books?id=jvR8mUDAwR0C&pg=PA787
|
||
|
|
+# [Ordinance No. 44 of 1950, Kenya Ordinances 1950, Vol. XXIX, p 294]
|
||
|
|
+# https://books.google.com/books?id=-_dQAQAAMAAJ&pg=PA294
|
||
|
|
+
|
||
|
|
+# From Paul Eggert (2020-10-24):
|
||
|
|
+# The 1908-05-01 announcement does not give an effective date,
|
||
|
|
+# so just say "1908 May".
|
||
|
|
+
|
||
|
|
# Zone NAME STDOFF RULES FORMAT [UNTIL]
|
||
|
|
-Zone Africa/Nairobi 2:27:16 - LMT 1928 Jul
|
||
|
|
- 3:00 - EAT 1930
|
||
|
|
- 2:30 - +0230 1940
|
||
|
|
- 2:45 - +0245 1960
|
||
|
|
+Zone Africa/Nairobi 2:27:16 - LMT 1908 May
|
||
|
|
+ 2:30 - +0230 1928 Jun 30 24:00
|
||
|
|
+ 3:00 - EAT 1930 Jan 4 24:00
|
||
|
|
+ 2:30 - +0230 1936 Dec 31 24:00
|
||
|
|
+ 2:45 - +0245 1942 Jul 31 24:00
|
||
|
|
3:00 - EAT
|
||
|
|
Link Africa/Nairobi Africa/Addis_Ababa # Ethiopia
|
||
|
|
Link Africa/Nairobi Africa/Asmara # Eritrea
|
||
|
|
--
|
||
|
|
1.8.3.1
|
||
|
|
|