From 1073954595b627e919d39faaec51e4314f13cbe3 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 24 Oct 2016 07:55:30 -0700 Subject: [PROPOSED PATCH] Fix 1893-11-01 transition in Italy (Thanks to Michael Deckers.) * NEWS: Document this. * europe (Europe/Rome): 1893 transition uses new UT offset, not old. --- NEWS | 3 +++ europe | 8 +++++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 0eb56dd..d639fef 100644 --- a/NEWS +++ b/NEWS @@ -15,6 +15,9 @@ Unreleased, experimental changes Europe/San_Marino, and Europe/Vatican. (Thanks to Pierpaolo Bernardi, Brian Inglis, and Michael Deckers.) + The 1893-11-01 00:00 transition in Italy used the new UT offset + (+01), not the old (+00:49:56). (Thanks to Michael Deckers.) + Changes to code The code should now be buildable on AmigaOS merely by setting the diff --git a/europe b/europe index 1ce9a40..341dc82 100644 --- a/europe +++ b/europe @@ -1500,6 +1500,12 @@ Zone Atlantic/Reykjavik -1:28 - LMT 1908 # But these events all occurred before the 1970 cutoff, # so record only the time in Rome. # +# From Michael Deckers (2016-10-24): +# http://www.ac-ilsestante.it/MERIDIANE/ora_legale quotes a law of 1893-08-10 +# ... [translated as] "The preceding dispositions will enter into +# force at the instant at which, according to the time specified in +# the 1st article, the 1st of November 1893 will begin...." +# # From Pierpaolo Bernardi (2016-10-20): # The authoritative source for time in Italy is the national metrological # institute, which has a summary page of historical DST data at @@ -1549,7 +1555,7 @@ Rule Italy 1978 only - Oct 1 0:00s 0 - Rule Italy 1979 only - Sep 30 0:00s 0 - # Zone NAME GMTOFF RULES FORMAT [UNTIL] Zone Europe/Rome 0:49:56 - LMT 1866 Sep 22 - 0:49:56 - RMT 1893 Nov 1 0:00s # Rome Mean + 0:49:56 - RMT 1893 Oct 31 23:49:56 # Rome Mean 1:00 Italy CE%sT 1980 1:00 EU CE%sT -- 2.7.4