[tz] Sao Tome Principe change of time zone

[Paul Eggert]

Thanks, I installed the attached further patch.
-------------- next part --------------
From a4272fbf28192d2c6e6d7ef0c6b83aae83dbed4b Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert at cs.ucla.edu>
Date: Mon, 8 Jan 2018 16:12:21 -0800
Subject: [PATCH] =?UTF-8?q?Fix=20time=20of=20S=C3=A3o=20Tom=C3=A9=20and=20?=
 =?UTF-8?q?Pr=C3=ADncipe=20transition?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* NEWS: Add credit.
* africa (Africa/Sao_Tome): Transition was at 01:00, not 00:00.
---
 NEWS   | 2 +-
 africa | 7 ++++---
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/NEWS b/NEWS
index 812c6f5..83908e2 100644
--- a/NEWS
+++ b/NEWS
@@ -5,7 +5,7 @@ Unreleased, experimental changes
   Changes to past and future time stamps
 
     São Tomé and Príncipe switched from +00 to +01 on 2018-01-01 at
-    00:00.  (Thanks to Steffen Thorsen.)
+    01:00.  (Thanks to Steffen Thorsen and Michael Deckers.)
 
   Changes to future time stamps
 
diff --git a/africa b/africa
index 2de2307..a2fec87 100644
--- a/africa
+++ b/africa
@@ -1040,12 +1040,13 @@ Zone	Indian/Reunion	3:41:52 -	LMT	1911 Jun # Saint-Denis
 # From Steffen Thorsen (2018-01-08):
 # Multiple sources tell that Sao Tome changed from UTC to UTC+1 as
 # they entered the year 2018.
-# https://www.dn.pt/lusa/interior/relogios-avancam-uma-hora-em-sao-tome-e-principe-a-partir-de-janeiro-de-2018-9006615.html
-# ...
+# From Michael Deckers (2018-01-08):
+# the switch is from 01:00 to 02:00 ... [Decree No. 25/2017]
+# http://www.mnec.gov.st/index.php/publicacoes/documentos/file/90-decreto-lei-n-25-2017
 
 Zone	Africa/Sao_Tome	 0:26:56 -	LMT	1884
 			-0:36:45 -	LMT	1912 # Lisbon Mean Time
-			 0:00	-	GMT	2018 Jan 1 00:00
+			 0:00	-	GMT	2018 Jan  1 01:00
 			 1:00	-	WAT
 
 # Senegal
-- 
2.14.3