[tz] [DRAFT] EU-related changes likely – here’s a heads-up

Paul Eggert eggert at cs.ucla.edu
Sat Sep 15 08:31:32 UTC 2018


This set of changes is so experimental that I have not installed it
into the development repository.  I am circulating it to give people a
heads-up for the sort of tzdb changes that are likely to occur if the
recent European Commission proposal becomes official.
Comments are welcome; please send them to tz at iana.org.
* NEWS: Mention this.
* africa (Africa/Cairo, Africa/Tripoli, Africa/El_Aaiun)
(Africa/Tunis):
* asia (Asia/Amman, Asia/Beirut, Asia/Gaza, Asia/Hebron)
(Asia/Damascus):
* europe (Europe/Kaliningrad):
Switch from "WET"/"CET"/"EET" to numeric offsets around
2019-03-31.  This sort of thing is also done in the other
entries noted below, which have other stuff going on too.
* africa (Africa/Casablanca):
* asia (Asia/Nicosia, Asia/Famagusta):
* backzone (Europe/Ljubljana, Europe/Sarajevo, Europe/Skopje)
(Europe/Vaduz, Europe/Zagreb):
* europe (Europe/Tirane, Europe/Andorra, Europe/Vienna)
(Europe/Brussels, Europe/Sofia, Europe/Prague, Europe/Copenhagen)
(Atlantic/Faroe, America/Scoresbysund, America/Godthab)
(Europe/Tallinn, Europe/Helsinki, Europe/Paris, Europe/Berlin)
(Europe/Athens, Europe/Budapest, Europe/Rome, Europe/Riga)
(Europe/Vilnius, Europe/Luxembourg, Europe/Malta, Europe/Monaco)
(Europe/Amsterdam, Europe/Oslo, Europe/Lisbon, Atlantic/Azores)
(Atlantic/Madeira, Europe/Bucharest, Europe/Belgrade, Europe/Madrid)
(Africa/Ceuta, Atlantic/Canary, Europe/Stockholm, Europe/Zurich)
(Europe/Kiev, Europe/Uzhgorod, Europe/Zaporozhye):
Assume these locations will not exercise the draft directive’s
option, and so will move their time zone one hour east.
* asia (EUAsia, E-EurAsia): Stay in sync with EU and E-Eur rules
in ‘europe’.
* backzone (Europe/Belfast, Europe/Guernsey, Europe/Isle_of_Man):
* europe (Europe/London, Europe/Gibraltar): Assume the UK, Crown
dependencies and Gibraltar will roll along as before.
* europe (UK): New rule.
(Eire, EU, W-Eur, C-Eur): Stop DST in 2019.
(Europe/Dublin): Switch to plain IST (a standard time) in 2019.
(America/Danmarkshavn): Use numeric abbreviation for consistency
with other locations in Greenland.
* zic.8: Adjust example to match new data.
* ziguard.awk (Zone_Dublin_post_1968): No longer a need for
special treatment for last line of Dublin zone.
---
 NEWS        |  55 +++++++++++++++++++
 africa      |  36 ++++++------
 asia        |  31 +++++++----
 backzone    |  27 ++++++---
 europe      | 154 ++++++++++++++++++++++++++++++++++------------------
 zic.8       |  19 +++++--
 ziguard.awk |   2 +-
 7 files changed, 223 insertions(+), 101 deletions(-)

diff --git a/NEWS b/NEWS
index 99040dc..ba0772b 100644
--- a/NEWS
+++ b/NEWS
@@ -8,6 +8,61 @@ Unreleased, experimental changes
 
   Changes to future timestamps
 
+    The European Commission has proposed to end DST in March 2019.  See:
+    https://ec.europa.eu/commission/priorities/state-union-speeches/state-union-2018/state-union-2018-ending-seasonal-clock-changes_en
+    Under this proposal, EU member states will advance their clocks by
+    an hour at 2019-03-31 01:00 UTC as usual, and will have the option
+    to move their clocks back an hour at 2019-10-27 01:00 UTC; member
+    states must announce by 2019-03-31 whether they are taking the
+    option.  After 2019-10-27 no seasonal changes will be permitted;
+    member states can make one-off changes but must give six months'
+    notice.  (Thanks to Even Scharning for the URL and for Clive
+    D.W. Feather for summarizing the proposal.)  For now, make the
+    following guesses about how this proposal will play out (and
+    please remember that these are just guesses, some of which will
+    surely be wrong):
+
+    * The European Parliament and the Council will approve the proposal.
+
+    * No member state will exercise the option of moving clocks back
+      on 2019-10-27.
+
+    * Every member state but Ireland will therefore make its last
+      transition by advancing standard time by an hour (i.e., moving
+      east by one time zone) on 2019-03-31.
+
+    * Ireland's usual transition from winter to standard time on
+      2019-03-31 will be its last transition.
+
+    * The following nearby countries that use EU or near-EU rules
+      will also stop using DST and move east one time zone:
+      Albania, Andorra, Bosnia & Herzegovina, Bulgaria, Croatia, the
+      Czech Republic, the Faroes, most of Greenland, Liechtenstein,
+      (Northern) Macedonia, Moldova, Monaco, Montenegro, Morocco,
+      Norway, Romania, San Marino, Serbia, Switzerland, Ukraine,
+      Vatican City, and Western Sahara.
+
+    * Brexit will occur at 2019-03-29 23:00 UTC, and DST will continue
+      to be observed in the UK, the Crown dependencies and Gibraltar.
+
+    * Akrotiri and Dhekelia (which do not have separate tzdb entries)
+      will continue to track Nicosia.
+
+    * Use numeric offsets for abbreviations in the new zones, as it is
+      too early to know what English-language abbreviations (if any)
+      will be used.  For example, if Spain stays at +02 all year, it's
+      not clear whether people will call its time "Eastern European
+      Time" (a geographic misnomer) or some other name.  Although
+      eventually we should be consistent about time zone abbreviations
+      used for past and modern timestamps, for now let's leave the
+      abbreviations alone for timestamps before 2019-03-31.
+
+    * However, the backward-compatibility zones WET, CET, MET, and EET
+      will keep their UTC offsets and traditional abbreviations, and
+      will observe DST as before in 2019 and will stay on standard
+      time thereafter, so that they can remain fallbacks for
+      traditionalists.
+
     Fiji ends DST 2019-01-13 instead of the 2019-01-20 previously
     predicted.  (Thanks to Raymond Kumar.)  Adjust future predictions
     accordingly.
diff --git a/africa b/africa
index 555052b..9013b30 100644
--- a/africa
+++ b/africa
@@ -99,7 +99,8 @@ Zone	Africa/Algiers	0:12:12 -	LMT	1891 Mar 15  0:01
 			0:00	Algeria	WE%sT	1977 Oct 21
 			1:00	Algeria	CE%sT	1979 Oct 26
 			0:00	Algeria	WE%sT	1981 May
-			1:00	-	CET
+			1:00	-	CET	2019 Mar 31  1:00u
+			1:00	-	+01
 
 # Angola
 # Benin
@@ -358,7 +359,8 @@ Rule	Egypt	2014	only	-	Sep	lastThu	24:00	0	-
 
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Africa/Cairo	2:05:09 -	LMT	1900 Oct
-			2:00	Egypt	EE%sT
+			2:00	Egypt	EE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Equatorial Guinea
 # See Africa/Lagos.
@@ -525,7 +527,8 @@ Zone	Africa/Tripoli	0:52:44 -	LMT	1920
 			1:00	Libya	CE%sT	1997 Oct  4
 			2:00	-	EET	2012 Nov 10  2:00
 			1:00	Libya	CE%sT	2013 Oct 25  2:00
-			2:00	-	EET
+			2:00	-	EET	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Madagascar
 # See Africa/Nairobi.
@@ -869,6 +872,9 @@ Zone Indian/Mauritius	3:50:00 -	LMT	1907 # Port Louis
 #         (car (cdr (cdr a))) (calendar-month-name (car a) t) (car (cdr a))
 #         (car (cdr (cdr b))) (calendar-month-name (car b) t) (car (cdr b)))))
 #     (setq islamic-year (+ 1 islamic-year))))
+# From Paul Eggert (2019-09-15):
+# Guess Morocco will stop observing DST in 2019, along with the EU,
+# so omit the above program's output after 2018.
 
 # RULE	NAME	FROM	TO	TYPE	IN	ON	AT	SAVE	LETTER/S
 
@@ -901,7 +907,7 @@ Rule	Morocco	2012	only	-	Aug	20	 2:00	1:00	S
 Rule	Morocco	2012	only	-	Sep	30	 3:00	0	-
 Rule	Morocco	2013	only	-	Jul	 7	 3:00	0	-
 Rule	Morocco	2013	only	-	Aug	10	 2:00	1:00	S
-Rule	Morocco	2013	max	-	Oct	lastSun	 3:00	0	-
+Rule	Morocco	2013	2018	-	Oct	lastSun	 3:00	0	-
 Rule	Morocco	2014	2021	-	Mar	lastSun	 2:00	1:00	S
 Rule	Morocco	2014	only	-	Jun	28	 3:00	0	-
 Rule	Morocco	2014	only	-	Aug	 2	 2:00	1:00	S
@@ -913,25 +919,13 @@ Rule	Morocco	2017	only	-	May	21	 3:00	0	-
 Rule	Morocco	2017	only	-	Jul	 2	 2:00	1:00	S
 Rule	Morocco	2018	only	-	May	13	 3:00	0	-
 Rule	Morocco	2018	only	-	Jun	17	 2:00	1:00	S
-Rule	Morocco	2019	only	-	May	 5	 3:00	0	-
-Rule	Morocco	2019	only	-	Jun	 9	 2:00	1:00	S
-Rule	Morocco	2020	only	-	Apr	19	 3:00	0	-
-Rule	Morocco	2020	only	-	May	24	 2:00	1:00	S
-Rule	Morocco	2021	only	-	Apr	11	 3:00	0	-
-Rule	Morocco	2021	only	-	May	16	 2:00	1:00	S
-Rule	Morocco	2022	only	-	May	 8	 2:00	1:00	S
-Rule	Morocco	2023	only	-	Apr	23	 2:00	1:00	S
-Rule	Morocco	2024	only	-	Apr	14	 2:00	1:00	S
-Rule	Morocco	2025	only	-	Apr	 6	 2:00	1:00	S
-Rule	Morocco	2026	max	-	Mar	lastSun	 2:00	1:00	S
-Rule	Morocco	2036	only	-	Oct	19	 3:00	0	-
-Rule	Morocco	2037	only	-	Oct	 4	 3:00	0	-
 
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone Africa/Casablanca	-0:30:20 -	LMT	1913 Oct 26
 			 0:00	Morocco	WE%sT	1984 Mar 16
 			 1:00	-	CET	1986
-			 0:00	Morocco	WE%sT
+			 0:00	Morocco	WE%sT	2019 Mar 31  1:00u
+			 1:00	-	+01
 
 # Western Sahara
 #
@@ -946,7 +940,8 @@ Zone Africa/Casablanca	-0:30:20 -	LMT	1913 Oct 26
 
 Zone Africa/El_Aaiun	-0:52:48 -	LMT	1934 Jan # El Aaiún
 			-1:00	-	-01	1976 Apr 14
-			 0:00	Morocco	WE%sT
+			 0:00	Morocco	WE%sT	2019 Mar 31  1:00u
+			 0:00	Morocco +00/+01
 
 # Mozambique
 #
@@ -1286,7 +1281,8 @@ Rule	Tunisia	2006	2008	-	Oct	lastSun	 2:00s	0	-
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Africa/Tunis	0:40:44 -	LMT	1881 May 12
 			0:09:21	-	PMT	1911 Mar 11 # Paris Mean Time
-			1:00	Tunisia	CE%sT
+			1:00	Tunisia	CE%sT	2019 Mar 31  1:00u
+			1:00	-	+01
 
 # Uganda
 # See Africa/Nairobi.
diff --git a/asia b/asia
index 5e27d85..5a97b9e 100644
--- a/asia
+++ b/asia
@@ -71,12 +71,12 @@
 
 # These rules are stolen from the 'europe' file.
 # Rule	NAME	FROM	TO	TYPE	IN	ON	AT	SAVE	LETTER/S
-Rule	EUAsia	1981	max	-	Mar	lastSun	 1:00u	1:00	S
+Rule	EUAsia	1981	2019	-	Mar	lastSun	 1:00u	1:00	S
 Rule	EUAsia	1979	1995	-	Sep	lastSun	 1:00u	0	-
-Rule	EUAsia	1996	max	-	Oct	lastSun	 1:00u	0	-
-Rule E-EurAsia	1981	max	-	Mar	lastSun	 0:00	1:00	-
+Rule	EUAsia	1996	2019	-	Oct	lastSun	 1:00u	0	-
+Rule E-EurAsia	1981	2019	-	Mar	lastSun	 0:00	1:00	-
 Rule E-EurAsia	1979	1995	-	Sep	lastSun	 0:00	0	-
-Rule E-EurAsia	1996	max	-	Oct	lastSun	 0:00	0	-
+Rule E-EurAsia	1996	2019	-	Oct	lastSun	 0:00	0	-
 Rule RussiaAsia	1981	1984	-	Apr	1	 0:00	1:00	-
 Rule RussiaAsia	1981	1983	-	Oct	1	 0:00	0	-
 Rule RussiaAsia	1984	1995	-	Sep	lastSun	 2:00s	0	-
@@ -944,12 +944,14 @@ Rule	Cyprus	1981	1998	-	Mar	lastSun	0:00	1:00	S
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Asia/Nicosia	2:13:28 -	LMT	1921 Nov 14
 			2:00	Cyprus	EE%sT	1998 Sep
-			2:00	EUAsia	EE%sT
+			2:00	EUAsia	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 Zone	Asia/Famagusta	2:15:48	-	LMT	1921 Nov 14
 			2:00	Cyprus	EE%sT	1998 Sep
 			2:00	EUAsia	EE%sT	2016 Sep  8
-			3:00	-	+03	2017 Oct 29 1:00u
-			2:00	EUAsia	EE%sT
+			3:00	-	+03	2017 Oct 29  1:00u
+			2:00	EUAsia	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 
 # Classically, Cyprus belongs to Asia; e.g. see Herodotus, Histories, I.72.
 # However, for various reasons many users expect to find it under Europe.
@@ -1750,7 +1752,8 @@ Rule	Jordan	2014	max	-	Mar	lastThu	24:00	1:00	S
 Rule	Jordan	2014	max	-	Oct	lastFri	0:00s	0	-
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Asia/Amman	2:23:44 -	LMT	1931
-			2:00	Jordan	EE%sT
+			2:00	Jordan	EE%sT	2019 Mar 28 24:00
+			2:00	Jordan	+02/+03
 
 
 # Kazakhstan
@@ -2190,7 +2193,8 @@ Rule	Lebanon	1993	1998	-	Sep	lastSun	0:00	0	-
 Rule	Lebanon	1999	max	-	Oct	lastSun	0:00	0	-
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Asia/Beirut	2:22:00 -	LMT	1880
-			2:00	Lebanon	EE%sT
+			2:00	Lebanon	EE%sT	2019 Mar 31  0:00
+			2:00	Lebanon	+02/+03
 
 # Malaysia
 # Rule	NAME	FROM	TO	TYPE	IN	ON	AT	SAVE	LETTER/S
@@ -2866,14 +2870,16 @@ Zone	Asia/Gaza	2:17:52	-	LMT	1900 Oct
 			2:00	-	EET	2010 Mar 27  0:01
 			2:00 Palestine	EE%sT	2011 Aug  1
 			2:00	-	EET	2012
-			2:00 Palestine	EE%sT
+			2:00 Palestine	EE%sT	2019 Mar 23  1:00
+			2:00 Palestine	+02/+03
 
 Zone	Asia/Hebron	2:20:23	-	LMT	1900 Oct
 			2:00	Zion	EET/EEST 1948 May 15
 			2:00 EgyptAsia	EE%sT	1967 Jun  5
 			2:00	Zion	I%sT	1996
 			2:00	Jordan	EE%sT	1999
-			2:00 Palestine	EE%sT
+			2:00 Palestine	EE%sT	2019 Mar 23  1:00
+			2:00 Palestine	+02/+03
 
 # Paracel Is
 # no information
@@ -3224,7 +3230,8 @@ Rule	Syria	2009	max	-	Oct	lastFri	0:00	0	-
 
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Asia/Damascus	2:25:12 -	LMT	1920 # Dimashq
-			2:00	Syria	EE%sT
+			2:00	Syria	EE%sT	2019 Mar 29  0:00
+			2:00	Syria	+02/+03
 
 # Tajikistan
 # From Shanks & Pottenger.
diff --git a/backzone b/backzone
index 97792b1..349aaae 100644
--- a/backzone
+++ b/backzone
@@ -560,7 +560,8 @@ Zone	Europe/Belfast	-0:23:40 -	LMT	1880 Aug  2
 			 0:00	GB-Eire	%s	1968 Oct 27
 			 1:00	-	BST	1971 Oct 31  2:00u
 			 0:00	GB-Eire	%s	1996
-			 0:00	EU	GMT/BST
+			 0:00	EU	GMT/BST 2019 Mar 29 23:00u # Brexit
+			 0:00	UK	GMT/BST
 
 # Guernsey
 # Data from Joseph S. Myers
@@ -573,7 +574,8 @@ Zone	Europe/Guernsey	-0:10:09 -	LMT	1913 Jun 18
 			 0:00	GB-Eire	%s	1968 Oct 27
 			 1:00	-	BST	1971 Oct 31  2:00u
 			 0:00	GB-Eire	%s	1996
-			 0:00	EU	GMT/BST
+			 0:00	EU	GMT/BST 2019 Mar 29 23:00u # Brexit
+			 0:00	UK	GMT/BST
 
 # Isle of Man
 #
@@ -594,7 +596,8 @@ Zone Europe/Isle_of_Man	-0:17:55 -	LMT	1883 Mar 30  0:00s
 			 0:00	GB-Eire	%s	1968 Oct 27
 			 1:00	-	BST	1971 Oct 31  2:00u
 			 0:00	GB-Eire	%s	1996
-			 0:00	EU	GMT/BST
+			 0:00	EU	GMT/BST 2019 Mar 29 23:00u # Brexit
+			 0:00	UK	GMT/BST
 
 # Jersey
 # Data from Joseph S. Myers
@@ -607,7 +610,8 @@ Zone	Europe/Jersey	-0:08:26 -	LMT	1898 Jun 11 16:00u
 			 0:00	GB-Eire	%s	1968 Oct 27
 			 1:00	-	BST	1971 Oct 31  2:00u
 			 0:00	GB-Eire	%s	1996
-			 0:00	EU	GMT/BST
+			 0:00	EU	GMT/BST 2019 Mar 29 23:00u # Brexit
+			 0:00	UK	GMT/BST
 
 # Slovenia
 Zone Europe/Ljubljana	0:58:04	-	LMT	1884
@@ -615,7 +619,8 @@ Zone Europe/Ljubljana	0:58:04	-	LMT	1884
 			1:00	C-Eur	CE%sT	1945 May  8  2:00s
 			1:00	1:00	CEST	1945 Sep 16  2:00s
 			1:00	-	CET	1982 Nov 27
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Bosnia and Herzegovina
 Zone	Europe/Sarajevo	1:13:40	-	LMT	1884
@@ -623,7 +628,8 @@ Zone	Europe/Sarajevo	1:13:40	-	LMT	1884
 			1:00	C-Eur	CE%sT	1945 May  8  2:00s
 			1:00	1:00	CEST	1945 Sep 16  2:00s
 			1:00	-	CET	1982 Nov 27
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Macedonia
 Zone	Europe/Skopje	1:25:44	-	LMT	1884
@@ -631,7 +637,8 @@ Zone	Europe/Skopje	1:25:44	-	LMT	1884
 			1:00	C-Eur	CE%sT	1945 May  8  2:00s
 			1:00	1:00	CEST	1945 Sep 16  2:00s
 			1:00	-	CET	1982 Nov 27
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Moldova / Transnistria
 Zone	Europe/Tiraspol	1:58:32	-	LMT	1880
@@ -647,7 +654,8 @@ Zone	Europe/Tiraspol	1:58:32	-	LMT	1880
 # Liechtenstein
 Zone	Europe/Vaduz	0:38:04 -	LMT	1894 Jun
 			1:00	-	CET	1981
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Croatia
 Zone	Europe/Zagreb	1:03:52	-	LMT	1884
@@ -655,7 +663,8 @@ Zone	Europe/Zagreb	1:03:52	-	LMT	1884
 			1:00	C-Eur	CE%sT	1945 May  8  2:00s
 			1:00	1:00	CEST	1945 Sep 16  2:00s
 			1:00	-	CET	1982 Nov 27
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Madagascar
 Zone Indian/Antananarivo 3:10:04 -	LMT	1911 Jul
diff --git a/europe b/europe
index e5017c2..1d8f201 100644
--- a/europe
+++ b/europe
@@ -500,12 +500,16 @@ Rule	GB-Eire 1990	1995	-	Oct	Sun>=22	1:00u	0	GMT
 #
 # Use Europe/London for Jersey, Guernsey, and the Isle of Man.
 
+Rule	UK	2019	max	-	Mar	lastSun	 1:00u	1:00	-
+Rule	UK	2019	max	-	Oct	lastSun	 1:00u	0	-
+
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Europe/London	-0:01:15 -	LMT	1847 Dec  1  0:00s
 			 0:00	GB-Eire	%s	1968 Oct 27
 			 1:00	-	BST	1971 Oct 31  2:00u
 			 0:00	GB-Eire	%s	1996
-			 0:00	EU	GMT/BST
+			 0:00	EU	GMT/BST 2019 Mar 29 23:00u # Brexit
+			 0:00	UK	GMT/BST
 Link	Europe/London	Europe/Jersey
 Link	Europe/London	Europe/Guernsey
 Link	Europe/London	Europe/Isle_of_Man
@@ -533,10 +537,10 @@ Link	Europe/London	Europe/Isle_of_Man
 Rule	Eire	1971	only	-	Oct	31	 2:00u	-1:00	-
 Rule	Eire	1972	1980	-	Mar	Sun>=16	 2:00u	0	-
 Rule	Eire	1972	1980	-	Oct	Sun>=23	 2:00u	-1:00	-
-Rule	Eire	1981	max	-	Mar	lastSun	 1:00u	0	-
+Rule	Eire	1981	2019	-	Mar	lastSun	 1:00u	0	-
 Rule	Eire	1981	1989	-	Oct	Sun>=23	 1:00u	-1:00	-
 Rule	Eire	1990	1995	-	Oct	Sun>=22	 1:00u	-1:00	-
-Rule	Eire	1996	max	-	Oct	lastSun	 1:00u	-1:00	-
+Rule	Eire	1996	2019	-	Oct	lastSun	 1:00u	-1:00	-
 
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Europe/Dublin	-0:25:00 -	LMT	1880 Aug  2
@@ -550,11 +554,12 @@ Zone	Europe/Dublin	-0:25:00 -	LMT	1880 Aug  2
 			 0:00	-	GMT	1948 Apr 18  2:00s
 			 0:00	GB-Eire	GMT/IST	1968 Oct 27
 # The next line is for when negative SAVE values are used.
-			 1:00	Eire	IST/GMT
+			 1:00	Eire	IST/GMT	2019 Mar 31  1:00u
 # These three lines are for when SAVE values are always nonnegative.
 #			 1:00	-	IST	1971 Oct 31  2:00u
 #			 0:00	GB-Eire	GMT/IST	1996
-#			 0:00	EU	GMT/IST
+#			 0:00	EU	GMT/IST	2019 Mar 31  1:00u
+			 1:00	-	IST
 
 
 ###############################################################################
@@ -570,20 +575,23 @@ Rule	EU	1977	1980	-	Apr	Sun>=1	 1:00u	1:00	S
 Rule	EU	1977	only	-	Sep	lastSun	 1:00u	0	-
 Rule	EU	1978	only	-	Oct	 1	 1:00u	0	-
 Rule	EU	1979	1995	-	Sep	lastSun	 1:00u	0	-
-Rule	EU	1981	max	-	Mar	lastSun	 1:00u	1:00	S
-Rule	EU	1996	max	-	Oct	lastSun	 1:00u	0	-
-# The most recent directive covers the years starting in 2002.  See:
+Rule	EU	1981	2019	-	Mar	lastSun	 1:00u	1:00	S
+Rule	EU	1996	2019	-	Oct	lastSun	 1:00u	0	-
+# The last summer time directive covers 2002-2019.  See:
 # Directive 2000/84/EC of the European Parliament and of the Council
 # of 19 January 2001 on summer-time arrangements.
 # http://eur-lex.europa.eu/LexUriServ/LexUriServ.do?uri=CELEX:32000L0084:EN:NOT
+# The above ruleset assumes that the 2018-09-12 European Commission proposal to
+# abolish DST will take effect unmodified; see
+# https://ec.europa.eu/commission/sites/beta-political/files/soteu2018-discontinuing-seasonal-changes-time-directive-639_en.pdf
 
 # W-Eur differs from EU only in that W-Eur uses standard time.
 Rule	W-Eur	1977	1980	-	Apr	Sun>=1	 1:00s	1:00	S
 Rule	W-Eur	1977	only	-	Sep	lastSun	 1:00s	0	-
 Rule	W-Eur	1978	only	-	Oct	 1	 1:00s	0	-
 Rule	W-Eur	1979	1995	-	Sep	lastSun	 1:00s	0	-
-Rule	W-Eur	1981	max	-	Mar	lastSun	 1:00s	1:00	S
-Rule	W-Eur	1996	max	-	Oct	lastSun	 1:00s	0	-
+Rule	W-Eur	1981	2019	-	Mar	lastSun	 1:00s	1:00	S
+Rule	W-Eur	1996	2019	-	Oct	lastSun	 1:00s	0	-
 
 # Older C-Eur rules are for convenience in the tables.
 # From 1977 on, C-Eur differs from EU only in that C-Eur uses standard time.
@@ -641,8 +649,8 @@ Rule	C-Eur	1977	1980	-	Apr	Sun>=1	 2:00s	1:00	S
 Rule	C-Eur	1977	only	-	Sep	lastSun	 2:00s	0	-
 Rule	C-Eur	1978	only	-	Oct	 1	 2:00s	0	-
 Rule	C-Eur	1979	1995	-	Sep	lastSun	 2:00s	0	-
-Rule	C-Eur	1981	max	-	Mar	lastSun	 2:00s	1:00	S
-Rule	C-Eur	1996	max	-	Oct	lastSun	 2:00s	0	-
+Rule	C-Eur	1981	2019	-	Mar	lastSun	 2:00s	1:00	S
+Rule	C-Eur	1996	2019	-	Oct	lastSun	 2:00s	0	-
 
 # E-Eur differs from EU only in that E-Eur switches at midnight local time.
 Rule	E-Eur	1977	1980	-	Apr	Sun>=1	 0:00	1:00	S
@@ -801,14 +809,16 @@ Rule	Albania	1984	only	-	Apr	 1	0:00	1:00	S
 Zone	Europe/Tirane	1:19:20 -	LMT	1914
 			1:00	-	CET	1940 Jun 16
 			1:00	Albania	CE%sT	1984 Jul
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Andorra
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Europe/Andorra	0:06:04 -	LMT	1901
 			0:00	-	WET	1946 Sep 30
 			1:00	-	CET	1985 Mar 31  2:00
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Austria
 
@@ -838,7 +848,8 @@ Zone	Europe/Vienna	1:05:21 -	LMT	1893 Apr
 			1:00	1:00	CEST	1945 Apr 12  2:00s
 			1:00	-	CET	1946
 			1:00	Austria	CE%sT	1981
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Belarus
 #
@@ -935,7 +946,8 @@ Zone	Europe/Brussels	0:17:30 -	LMT	1880
 			0:00	Belgium	WE%sT	1940 May 20  2:00s
 			1:00	C-Eur	CE%sT	1944 Sep  3
 			1:00	Belgium	CE%sT	1977
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Bosnia and Herzegovina
 # See Europe/Belgrade.
@@ -963,7 +975,8 @@ Zone	Europe/Sofia	1:33:16 -	LMT	1880
 			2:00	Bulg	EE%sT	1982 Sep 26  3:00
 			2:00	C-Eur	EE%sT	1991
 			2:00	E-Eur	EE%sT	1997
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 
 # Croatia
 # See Europe/Belgrade.
@@ -997,7 +1010,8 @@ Zone	Europe/Prague	0:57:44 -	LMT	1850
 #			0:00	-	GMT	1947 Feb 23  2:00
 # End of rearguard section.
 			1:00	Czech	CE%sT	1979
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 # Use Europe/Prague also for Slovakia.
 
 # Denmark, Faroe Islands, and Greenland
@@ -1054,10 +1068,12 @@ Zone Europe/Copenhagen	 0:50:20 -	LMT	1890
 			 1:00	Denmark	CE%sT	1942 Nov  2  2:00s
 			 1:00	C-Eur	CE%sT	1945 Apr  2  2:00
 			 1:00	Denmark	CE%sT	1980
-			 1:00	EU	CE%sT
+			 1:00	EU	CE%sT	2019 Mar 31  1:00u
+			 2:00	-	+02
 Zone Atlantic/Faroe	-0:27:04 -	LMT	1908 Jan 11 # Tórshavn
 			 0:00	-	WET	1981
-			 0:00	EU	WE%sT
+			 0:00	EU	WE%sT	2019 Mar 31  1:00u
+			 1:00	-	+01
 #
 # From Paul Eggert (2004-10-31):
 # During World War II, Germany maintained secret manned weather stations in
@@ -1149,14 +1165,16 @@ Rule	Thule	2007	max	-	Nov	Sun>=1	2:00	0	S
 Zone America/Danmarkshavn -1:14:40 -	LMT	1916 Jul 28
 			-3:00	-	-03	1980 Apr  6  2:00
 			-3:00	EU	-03/-02	1996
-			0:00	-	GMT
+			0:00	-	+00
 Zone America/Scoresbysund -1:27:52 -	LMT	1916 Jul 28 # Ittoqqortoormiit
 			-2:00	-	-02	1980 Apr  6  2:00
 			-2:00	C-Eur	-02/-01	1981 Mar 29
-			-1:00	EU	-01/+00
+			-1:00	EU	-01/+00	2019 Mar 31  1:00u
+			 0:00	-	+00
 Zone America/Godthab	-3:26:56 -	LMT	1916 Jul 28 # Nuuk
 			-3:00	-	-03	1980 Apr  6  2:00
-			-3:00	EU	-03/-02
+			-3:00	EU	-03/-02	2019 Mar 31  1:00u
+			-2:00	-	-02
 Zone America/Thule	-4:35:08 -	LMT	1916 Jul 28 # Pituffik air base
 			-4:00	Thule	A%sT
 
@@ -1224,7 +1242,8 @@ Zone	Europe/Tallinn	1:39:00	-	LMT	1880
 			2:00	C-Eur	EE%sT	1998 Sep 22
 			2:00	EU	EE%sT	1999 Oct 31  4:00
 			2:00	-	EET	2002 Feb 21
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 
 # Finland
 
@@ -1278,7 +1297,8 @@ Rule	Finland	1981	1982	-	Sep	lastSun	3:00	0	-
 Zone	Europe/Helsinki	1:39:49 -	LMT	1878 May 31
 			1:39:49	-	HMT	1921 May    # Helsinki Mean Time
 			2:00	Finland	EE%sT	1983
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 
 # Åland Is
 Link	Europe/Helsinki	Europe/Mariehamn
@@ -1374,7 +1394,8 @@ Zone	Europe/Paris	0:09:21 -	LMT	1891 Mar 15  0:01
 			1:00	C-Eur	CE%sT	1944 Aug 25
 			0:00	France	WE%sT	1945 Sep 16  3:00
 			1:00	France	CE%sT	1977
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Germany
 
@@ -1417,7 +1438,8 @@ Zone	Europe/Berlin	0:53:28 -	LMT	1893 Apr
 			1:00	C-Eur	CE%sT	1945 May 24  2:00
 			1:00 SovietZone	CE%sT	1946
 			1:00	Germany	CE%sT	1980
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # From Tobias Conradi (2011-09-12):
 # Büsingen <http://www.buesingen.de>, surrounded by the Swiss canton
@@ -1444,7 +1466,8 @@ Link	Europe/Zurich	Europe/Busingen
 Zone Europe/Gibraltar	-0:21:24 -	LMT	1880 Aug  2  0:00s
 			0:00	GB-Eire	%s	1957 Apr 14  2:00
 			1:00	-	CET	1982
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			1:00	UK	+01/+02
 
 # Greece
 # Rule	NAME	FROM	TO	TYPE	IN	ON	AT	SAVE	LETTER/S
@@ -1479,7 +1502,8 @@ Zone	Europe/Athens	1:34:52 -	LMT	1895 Sep 14
 			2:00	Greece	EE%sT	1981
 			# Shanks & Pottenger say it switched to C-Eur in 1981;
 			# go with EU rules instead, since Greece joined Jan 1.
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 
 # Hungary
 # From Paul Eggert (2014-07-15):
@@ -1514,7 +1538,8 @@ Zone	Europe/Budapest	1:16:20 -	LMT	1890 Oct
 			1:00	Hungary	CE%sT	1941 Apr  8
 			1:00	C-Eur	CE%sT	1945
 			1:00	Hungary	CE%sT	1980 Sep 28  2:00s
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Iceland
 #
@@ -1662,7 +1687,8 @@ Zone	Europe/Rome	0:49:56 -	LMT	1866 Sep 22
 			1:00	Italy	CE%sT	1943 Sep 10
 			1:00	C-Eur	CE%sT	1944 Jun  4
 			1:00	Italy	CE%sT	1980
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 Link	Europe/Rome	Europe/Vatican
 Link	Europe/Rome	Europe/San_Marino
@@ -1747,7 +1773,8 @@ Zone	Europe/Riga	1:36:34	-	LMT	1880
 			2:00	Latvia	EE%sT	1997 Jan 21
 			2:00	EU	EE%sT	2000 Feb 29
 			2:00	-	EET	2001 Jan  2
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 
 # Liechtenstein
 
@@ -1817,7 +1844,8 @@ Zone	Europe/Vilnius	1:41:16	-	LMT	1880
 			2:00	-	EET	1998 Mar 29  1:00u
 			1:00	EU	CE%sT	1999 Oct 31  1:00u
 			2:00	-	EET	2003 Jan  1
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 
 # Luxembourg
 # Whitman disagrees with most of these dates in minor ways;
@@ -1853,7 +1881,8 @@ Zone Europe/Luxembourg	0:24:36 -	LMT	1904 Jun
 			0:00	Belgium	WE%sT	1940 May 14  3:00
 			1:00	C-Eur	WE%sT	1944 Sep 18  3:00
 			1:00	Belgium	CE%sT	1977
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Macedonia
 # See Europe/Belgrade.
@@ -1875,7 +1904,8 @@ Rule	Malta	1980	only	-	Mar	31	2:00	1:00	S
 Zone	Europe/Malta	0:58:04 -	LMT	1893 Nov  2  0:00s # Valletta
 			1:00	Italy	CE%sT	1973 Mar 31
 			1:00	Malta	CE%sT	1981
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Moldova
 
@@ -1961,7 +1991,8 @@ Zone	Europe/Monaco	0:29:32 -	LMT	1891 Mar 15
 			0:09:21	-	PMT	1911 Mar 11 # Paris Mean Time
 			0:00	France	WE%sT	1945 Sep 16  3:00
 			1:00	France	CE%sT	1977
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Montenegro
 # See Europe/Belgrade.
@@ -2038,7 +2069,8 @@ Zone Europe/Amsterdam	0:19:32 -	LMT	1835
 			0:20	Neth +0020/+0120 1940 May 16  0:00
 			1:00	C-Eur	CE%sT	1945 Apr  2  2:00
 			1:00	Neth	CE%sT	1977
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Norway
 # http://met.no/met/met_lex/q_u/sommertid.html (2004-01) agrees with Shanks &
@@ -2056,7 +2088,8 @@ Zone	Europe/Oslo	0:43:00 -	LMT	1895 Jan  1
 			1:00	Norway	CE%sT	1940 Aug 10 23:00
 			1:00	C-Eur	CE%sT	1945 Apr  2  2:00
 			1:00	Norway	CE%sT	1980
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Svalbard & Jan Mayen
 
@@ -2151,7 +2184,8 @@ Zone	Europe/Warsaw	1:24:00 -	LMT	1880
 			1:00	C-Eur	CE%sT	1944 Oct
 			1:00	Poland	CE%sT	1977
 			1:00	W-Eur	CE%sT	1988
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Portugal
 
@@ -2255,7 +2289,8 @@ Zone	Europe/Lisbon	-0:36:45 -	LMT	1884
 			 0:00	Port	WE%sT	1983 Sep 25  1:00s
 			 0:00	W-Eur	WE%sT	1992 Sep 27  1:00s
 			 1:00	EU	CE%sT	1996 Mar 31  1:00u
-			 0:00	EU	WE%sT
+			 0:00	EU	WE%sT	2019 Mar 31  1:00u
+			 1:00	-	+01
 # This Zone can be simplified once we assume zic %z.
 Zone Atlantic/Azores	-1:42:40 -	LMT	1884        # Ponta Delgada
 			-1:54:32 -	HMT	1912 Jan  1  2:00u # Horta MT
@@ -2271,7 +2306,8 @@ Zone Atlantic/Azores	-1:42:40 -	LMT	1884        # Ponta Delgada
 			-1:00	Port	-01/+00	1983 Sep 25  1:00s
 			-1:00	W-Eur	-01/+00	1992 Sep 27  1:00s
 			 0:00	EU	WE%sT	1993 Mar 28  1:00u
-			-1:00	EU	-01/+00
+			-1:00	EU	-01/+00	2019 Mar 31  1:00u
+			 0:00	-	+00
 # This Zone can be simplified once we assume zic %z.
 Zone Atlantic/Madeira	-1:07:36 -	LMT	1884        # Funchal
 			-1:07:36 -	FMT	1912 Jan  1  1:00u # Funchal MT
@@ -2285,7 +2321,8 @@ Zone Atlantic/Madeira	-1:07:36 -	LMT	1884        # Funchal
 			-1:00	Port	+01	1945 Aug 25 22:00s
 			-1:00	Port	-01/+00	1966 Apr  3  2:00
 			 0:00	Port	WE%sT	1983 Sep 25  1:00s
-			 0:00	EU	WE%sT
+			 0:00	EU	WE%sT	2019 Mar 31  1:00u
+			 1:00	-	+01
 
 # Romania
 #
@@ -2313,7 +2350,8 @@ Zone Europe/Bucharest	1:44:24 -	LMT	1891 Oct
 			2:00	C-Eur	EE%sT	1991
 			2:00	Romania	EE%sT	1994
 			2:00	E-Eur	EE%sT	1997
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 
 
 # Russia
@@ -2491,7 +2529,8 @@ Zone Europe/Kaliningrad	 1:22:00 -	LMT	1893 Apr
 			 3:00	Russia	MSK/MSD	1989 Mar 26  2:00s
 			 2:00	Russia	EE%sT	2011 Mar 27  2:00s
 			 3:00	-	+03	2014 Oct 26  2:00s
-			 2:00	-	EET
+			 2:00	-	EET	2019 Mar 31  1:00u
+			 2:00	-	+02
 
 
 # From Paul Eggert (2016-02-21), per Tim Parenti (2014-07-03) and
@@ -3345,7 +3384,8 @@ Zone	Europe/Belgrade	1:22:00	-	LMT	1884
 # transition to EU rules was 1982-11-27, for all of Yugoslavia at the time.
 # Shanks & Pottenger don't give as much detail, so go with Koželj.
 			1:00	-	CET	1982 Nov 27
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 Link Europe/Belgrade Europe/Ljubljana	# Slovenia
 Link Europe/Belgrade Europe/Podgorica	# Montenegro
 Link Europe/Belgrade Europe/Sarajevo	# Bosnia and Herzegovina
@@ -3444,7 +3484,8 @@ Rule SpainAfrica 1978	only	-	Aug	 4	 0:00	0	-
 Zone	Europe/Madrid	-0:14:44 -	LMT	1900 Dec 31 23:45:16
 			 0:00	Spain	WE%sT	1940 Mar 16 23:00
 			 1:00	Spain	CE%sT	1979
-			 1:00	EU	CE%sT
+			 1:00	EU	CE%sT	2019 Mar 31  1:00u
+			 2:00	-	+02
 Zone	Africa/Ceuta	-0:21:16 -	LMT	1900 Dec 31 23:38:44
 			 0:00	-	WET	1918 May  6 23:00
 			 0:00	1:00	WEST	1918 Oct  7 23:00
@@ -3453,12 +3494,14 @@ Zone	Africa/Ceuta	-0:21:16 -	LMT	1900 Dec 31 23:38:44
 			 0:00	-	WET	1967 # Help zishrink.awk.
 			 0:00 SpainAfrica WE%sT	1984 Mar 16
 			 1:00	-	CET	1986
-			 1:00	EU	CE%sT
+			 1:00	EU	CE%sT	2019 Mar 31  1:00u
+			 2:00	-	+02
 Zone	Atlantic/Canary	-1:01:36 -	LMT	1922 Mar # Las Palmas de Gran C.
 			-1:00	-	-01	1946 Sep 30  1:00
 			 0:00	-	WET	1980 Apr  6  0:00s
 			 0:00	1:00	WEST	1980 Sep 28  1:00u
-			 0:00	EU	WE%sT
+			 0:00	EU	WE%sT	2019 Mar 31  1:00u
+			 1:00	-	+01
 # IATA SSIM (1996-09) says the Canaries switch at 2:00u, not 1:00u.
 # Ignore this for now, as the Canaries are part of the EU.
 
@@ -3514,7 +3557,8 @@ Zone Europe/Stockholm	1:12:12 -	LMT	1879 Jan  1
 			1:00	-	CET	1916 May 14 23:00
 			1:00	1:00	CEST	1916 Oct  1  1:00
 			1:00	-	CET	1980
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Switzerland
 # From Howse:
@@ -3615,7 +3659,8 @@ Rule	Swiss	1941	1942	-	Oct	Mon>=1	2:00	0	-
 Zone	Europe/Zurich	0:34:08 -	LMT	1853 Jul 16 # See above comment.
 			0:29:46	-	BMT	1894 Jun    # Bern Mean Time
 			1:00	Swiss	CE%sT	1981
-			1:00	EU	CE%sT
+			1:00	EU	CE%sT	2019 Mar 31  1:00u
+			2:00	-	+02
 
 # Turkey
 
@@ -3858,7 +3903,8 @@ Zone Europe/Kiev	2:02:04 -	LMT	1880
 			3:00	Russia	MSK/MSD	1990 Jul  1  2:00
 			2:00	1:00	EEST	1991 Sep 29  3:00
 			2:00	E-Eur	EE%sT	1995
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 # Ruthenia used CET 1990/1991.
 # "Uzhhorod" is the transliteration of the Rusyn/Ukrainian pronunciation, but
 # "Uzhgorod" is more common in English.
@@ -3872,7 +3918,8 @@ Zone Europe/Uzhgorod	1:29:12 -	LMT	1890 Oct
 			1:00	-	CET	1991 Mar 31  3:00
 			2:00	-	EET	1992
 			2:00	E-Eur	EE%sT	1995
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 # Zaporozh'ye and eastern Lugansk oblasts observed DST 1990/1991.
 # "Zaporizhia" is the transliteration of the Ukrainian name, but
 # "Zaporozh'ye" is more common in English.  Use the common English
@@ -3885,7 +3932,8 @@ Zone Europe/Zaporozhye	2:20:40 -	LMT	1880
 			1:00	C-Eur	CE%sT	1943 Oct 25
 			3:00	Russia	MSK/MSD	1991 Mar 31  2:00
 			2:00	E-Eur	EE%sT	1995
-			2:00	EU	EE%sT
+			2:00	EU	EE%sT	2019 Mar 31  1:00u
+			3:00	-	+03
 
 # Vatican City
 # See Europe/Rome.
diff --git a/zic.8 b/zic.8
index 4ef7675..17336dc 100644
--- a/zic.8
+++ b/zic.8
@@ -554,7 +554,8 @@ Rule	EU	1996	max	\*-	Oct	lastSun	1:00u	0	\*-
 Zone	Europe/Zurich	0:34:08	\*-	LMT	1853 Jul 16
 		0:29:46	\*-	BMT	1894 Jun
 		1:00	Swiss	CE%sT	1981
-		1:00	EU	CE%sT
+		1:00	EU	CE%sT	2019 Mar 31 1:00u
+		2:00	-	+02
 .sp
 Link	Europe/Zurich	Europe/Vaduz
 .sp
@@ -568,8 +569,9 @@ was changed to 7\(de\|26\(fm\|22.50\(sd; although this works out to
 is rounded here.  After 1894-06-01 at 00:00 the UT offset became one hour
 and Swiss daylight saving rules (defined with lines beginning with
 .q "Rule Swiss")
-apply.  From 1981 to the present, EU daylight saving rules have
-applied, and the UTC offset has remained at one hour.
+apply.  From 1981 to 2019-03-31 01:00 UTC, EU daylight saving rules were
+applied, and the UTC offset remained at one hour;
+after that, the UTC offset has been (and is planned to be) two hours.
 .PP
 In 1941 and 1942, daylight saving time applied from the first Monday
 in May at 01:00 to the first Monday in October at 02:00.
@@ -583,10 +585,15 @@ For purposes of display,
 .q "LMT"
 and
 .q "BMT"
-were initially used, respectively.  Since
+were initially used, respectively.  When
 Swiss rules and later EU rules were applied, the time zone abbreviation
-has been CET for standard time and CEST for daylight saving
-time.
+was
+.q "CET"
+for standard time and
+.q "CEST"
+for daylight saving time.
+Now that EU DST rules no longer apply, the time zone abbreviation is simply
+.q "+02".
 .SH FILES
 .TP
 .I /etc/localtime
diff --git a/ziguard.awk b/ziguard.awk
index 42e2910..f53a749 100644
--- a/ziguard.awk
+++ b/ziguard.awk
@@ -43,7 +43,7 @@ DATAFORM != "main" {
   Rule_Eire = /^#?Rule[\t ]+Eire[\t ]/
   Zone_Dublin_post_1968 \
     = (zone == "Europe/Dublin" && /^#?[\t ]+[01]:00[\t ]/ \
-       && (!$(in_comment + 4) || 1968 < $(in_comment + 4)))
+       && 1968 < $(in_comment + 4))
   if (Rule_Eire || Zone_Dublin_post_1968) {
     if ((Rule_Eire \
 	 || (Zone_Dublin_post_1968 && $(in_comment + 3) == "IST/GMT"))	\
-- 
2.17.1



More information about the tz mailing list