[tz] Follow up to post earlier
eggert at cs.ucla.edu
Mon Aug 11 20:03:43 UTC 2014
Thanks, I think the old data for Guernsey, Jersey and the Isle of Man
are prime candidates for the new out-of-scope file I've been drafting,
and I'll add it to that. I fixed the broken links with the attached
patch in the experimental version.
-------------- next part --------------
From 63ce01cfa8a215fb58b1465b87444afabccaea0c Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert at cs.ucla.edu>
Date: Mon, 11 Aug 2014 13:01:24 -0700
Subject: [PATCH] * europe: Fix some broken British URLs. (Thanks to Lester
* NEWS: Document this.
NEWS | 3 +++
europe | 13 ++++++-------
2 files changed, 9 insertions(+), 7 deletions(-)
diff --git a/NEWS b/NEWS
index 9155581..f1e741b 100644
@@ -34,6 +34,9 @@ Unreleased, experimental changes
tz-link.htm describes Windows Runtime etc. (Thanks to Matt Johnson.)
+ Some broken URLs have been fixed in the commentary. (Thanks to
+ Lester Caine.)
Release 2014f - 2014-08-05 17:42:36 -0700
diff --git a/europe b/europe
index 001fb4d..5d229c2 100644
@@ -184,8 +184,9 @@
# between 160 and 170 hours more daylight leisure, to a war which
# plunged Europe into darkness for four years, and shook the
# foundations of civilization throughout the world.
-# "A Silent Toast to William Willett", Pictorial Weekly
+# -- "A Silent Toast to William Willett", Pictorial Weekly;
+# republished in Finest Hour (Spring 2002) 1(114):26
# From Paul Eggert (1996-09-03):
# The OED Supplement says that the English originally said "Daylight Saving"
@@ -220,8 +221,8 @@
# official designation; the reply of the 21st was that there wasn't
# but he couldn't think of anything better than the "Double British
# Summer Time" that the BBC had been using informally.
# From Sir Alexander Maxwell in the above-mentioned letter (1941-04-21):
# [N]o official designation has as far as I know been adopted for the time
@@ -238,15 +239,13 @@
# the history of summer time legislation in the United Kingdom.
# Since 1998 Joseph S. Myers has been updating
# and extending this list, which can be found in
-# History of legal time in Britain
# From Joseph S. Myers (1998-01-06):
# The legal time in the UK outside of summer time is definitely GMT, not UTC;
# see Lord Tanlaw's speech
# (Lords Hansard 11 June 1997 columns 964 to 976).
# From Paul Eggert (2006-03-22):
More information about the tz