>From bde65ee021bbee30b1b7b025b73a2873b64f11fa Mon Sep 17 00:00:00 2001
From: Stepan Golosunov <stepan@golosunov.pp.ru>
Date: Sat, 12 Mar 2016 01:55:49 +0400
Subject: [PATCH 3/3] Correct 2002 Tomsk change date

According to http://pravo.gov.ru/proxy/ips/?docbody=&nd=102075743.
And restore a relevant comment from 1994 (when Asia/Tomsk was
originally created according to git log).
---
 europe | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/europe b/europe
index fe02664..f5a7a0a 100644
--- a/europe
+++ b/europe
@@ -2235,6 +2235,7 @@ Zone Europe/Bucharest	1:44:24 -	LMT	1891 Oct
 # I do not know why they have decided to make this change;
 # as far as I remember it was done exactly during winter->summer switching
 # so we (Novosibirsk) simply did not switch.
+# Tomsk is still 4 hours ahead of Moscow.
 #
 # From Andrey A. Chernov (1996-10-04):
 # 'MSK' and 'MSD' were born and used initially on Moscow computers with
@@ -2588,14 +2589,15 @@ Zone Asia/Novosibirsk	 5:31:40 -	LMT	1919 Dec 14  6:00
 # Asia/Tomsk covers...
 # 70	RU-TOM	Tomsk Oblast
 
-# From Paul Eggert (2006-08-19): I'm guessing about Tomsk here; it's
-# not clear when it switched from +7 to +6.
+# From Stepan Golosunov (2016-03-07):
+# http://pravo.gov.ru/proxy/ips/?docbody=&nd=102075743
+# transitions Tomsk to the time of the fifth time belt at 2002-05-01 03:00.
 
 Zone Asia/Tomsk		 5:39:51 -	LMT	1919 Dec 22
 			 6:00	-	+06	1930 Jun 21
 			 7:00	Russia	+07/+08	1991 Mar 31  2:00s
 			 6:00	Russia	+06/+07	1992 Jan 19  2:00s
-			 7:00	Russia	+07/+08	1993 May 23
+			 7:00	Russia	+07/+08	2002 May 01  3:00
 			 6:00	Russia	+06/+07	2011 Mar 27  2:00s
 			 7:00	-	+07	2014 Oct 26  2:00s
 			 6:00	-	+06
-- 
2.1.4

