[tz] Novosibirsk, +06 -> +07 on 2016-07-24

[Paul Eggert]

Thanks for the heads-up. Since it seems so likely this will go through, 
I'm attaching a proposed patch that I have installed into the 
experimental tz database on Github. While I'm in the neighborhood this 
patch also removes invented abbreviations for Asia/Novosibirsk by 
switching to numeric abbreviations for that location and for 
Asia/Novokuznetsk (which used the same invented abbreviation).
-------------- next part --------------
>From a615398bf7efd9ee1e56db8792efa901be44559d Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert at cs.ucla.edu>
Date: Mon, 20 Jun 2016 02:32:50 +0200
Subject: [PATCH] Novosibirsk switches from +06 to +07 on 2016-07-24 at 02:00
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

(Thanks to Stepan Golosunov.)  Also, switch Asia/Novokuznetsk
and Asia/Novosibirsk to use numeric time zone abbreviations.
* NEWS: Document this.
* europe (Asia/Novosibirsk, Asia/Novokuznetsk): Implement this.
This subtracts a transition from Novokuznetsk, as there?s no
longer a need for a 2014 transition merely to change from one
invented abbreviation to another.
---
 NEWS   | 13 +++++++++++++
 europe | 38 +++++++++++++++++++++++---------------
 2 files changed, 36 insertions(+), 15 deletions(-)

diff --git a/NEWS b/NEWS
index d1ada9b..fd2aefc 100644
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,18 @@
 News for the tz database
 
+Unreleased, experimental changes
+
+  Changes affecting future time stamps
+
+    Asia/Novosibirsk switches from +06 to +07 on 2016-07-24 at 02:00.
+    (Thanks to Stepan Golosunov.)
+
+  Changes to past and future time stamps
+
+    Asia/Novokuznetsk and Asia/Novosibirsk now use numeric time zone
+    abbreviations instead of invented ones.
+
+
 Release 2016e - 2016-06-14 08:46:16 -0700
 
   Changes affecting future time stamps
diff --git a/europe b/europe
index 7e43bc2..bf509ed 100644
--- a/europe
+++ b/europe
@@ -2723,14 +2723,24 @@ Zone Asia/Barnaul	 5:35:00 -	LMT	1919 Dec 10
 # Asia/Novosibirsk covers:
 # 54	RU-NVS	Novosibirsk Oblast
 
+# From Stepan Golosunov (2016-05-30):
+# http://asozd2.duma.gov.ru/main.nsf/(Spravka)?OpenAgent&RN=1085784-6
+# moves Novosibirsk oblast from UTC+6 to UTC+7.
+# From Stepan Golosunov (2016-06-18):
+# The bill was amended to change transition date to 2016-07-24.
+# Given that next sitting of the Federation Council is scheduled on
+# 2016-06-29 it is likely that the bill will be signed by the President
+# and published as a law around 2016-07-04.
+
 Zone Asia/Novosibirsk	 5:31:40 -	LMT	1919 Dec 14  6:00
-			 6:00	-	NOVT	1930 Jun 21 # Novosibirsk Time
-			 7:00	Russia	NOV%sT	1991 Mar 31  2:00s
-			 6:00	Russia	NOV%sT	1992 Jan 19  2:00s
-			 7:00	Russia	NOV%sT	1993 May 23 # say Shanks & P.
-			 6:00	Russia	NOV%sT	2011 Mar 27  2:00s
-			 7:00	-	NOVT	2014 Oct 26  2:00s
-			 6:00	-	NOVT
+			 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 # say Shanks & P.
+			 6:00	Russia	+06/+07	2011 Mar 27  2:00s
+			 7:00	-	+07	2014 Oct 26  2:00s
+			 6:00	-	+06	2016 Jul 24  2:00s
+			 7:00	-	+07
 
 # From Paul Eggert (2016-03-18):
 # Asia/Tomsk covers:
@@ -2813,14 +2823,12 @@ Zone	Asia/Tomsk	 5:39:51 -	LMT	1919 Dec 22
 # realigning itself with KRAT.
 
 Zone Asia/Novokuznetsk	 5:48:48 -	LMT	1924 May  1
-			 6:00	-	KRAT	1930 Jun 21 # Krasnoyarsk Time
-			 7:00	Russia	KRA%sT	1991 Mar 31  2:00s
-			 6:00	Russia	KRA%sT	1992 Jan 19  2:00s
-			 7:00	Russia	KRA%sT	2010 Mar 28  2:00s
-			 6:00	Russia	NOV%sT	2011 Mar 27  2:00s # Novosibirsk
-			 7:00	-	NOVT	2014 Oct 26  2:00s
-			 7:00	-	KRAT	# Krasnoyarsk Time
-
+			 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	2010 Mar 28  2:00s
+			 6:00	Russia	+06/+07	2011 Mar 27  2:00s
+			 7:00	-	+07
 
 # From Tim Parenti (2014-07-03), per Oscar van Vlijmen (2001-08-25):
 # Asia/Krasnoyarsk covers...
-- 
2.5.5