>From 32282b1278cbad59d7c755df705425e2b486a848 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Fri, 7 Aug 2015 08:12:07 -0700 Subject: [PROPOSED PATCH] North Korea changes to +0830 effective August 15 (Thanks to Steffen Thorsen.) Instead of inventing an abbreviation for this time zone, institute a policy of recording time zone abbreviations rather than inventing them. * NEWS, Theory: Document this. * asia (Asia/Pyongyang): Switch to +0830 effective August 15. Use "+0830" as the abbreviation. --- NEWS | 6 ++++++ Theory | 15 ++++++++++++--- asia | 14 +++++++++++++- 3 files changed, 31 insertions(+), 4 deletions(-) diff --git a/NEWS b/NEWS index d6c0eae..a58e67b 100644 --- a/NEWS +++ b/NEWS @@ -4,6 +4,12 @@ Unreleased, experimental changes Changes affecting future time stamps + North Korea switches to +0830 on August 15. (Thanks to Steffen Thorsen.) + Its English-language time zone abbreviation is not yet established, + so it's '+0830' for now. This institutes a policy of recording + time zone abbreviations rather than inventing them. The new zic + notation '%z' will help implement this policy. + Uruguay will stop observing DST. (Thanks to Steffen Thorsen and Pablo Camargo.) diff --git a/Theory b/Theory index 2578009..96cba51 100644 --- a/Theory +++ b/Theory @@ -205,6 +205,18 @@ in decreasing order of importance: traditional xMT notation, e.g. 'PMT' for Paris Mean Time. The only name like this in current use is 'GMT'. + Use 'LMT' for local mean time of locations before the introduction + of standard time; see "Scope of the tz database". + + If there is no common English abbreviation, use numeric offsets like + -05 and +0830 that are generated by zic's %z notation. + + [The remaining guidelines predate the introduction of %z. + They are problematic as they mean tz data entries invent + notation rather than record it. These guidelines are now + deprecated and the plan is to gradually move to %z for + inhabited locations and to "-00" for uninhabited locations.] + If there is no common English abbreviation, abbreviate the English translation of the usual phrase used by native speakers. If this is not available or is a phrase mentioning the country @@ -218,9 +230,6 @@ in decreasing order of importance: name identifying each zone and append 'T', 'ST', etc. as before; e.g. 'VLAST' for VLAdivostok Summer Time. - Use 'LMT' for local mean time of locations before the introduction - of standard time; see "Scope of the tz database". - Use UT (with time zone abbreviation 'zzz') for locations while uninhabited. The 'zzz' mnemonic is that these locations are, in some sense, asleep. diff --git a/asia b/asia index f2c27f1..3b29f9e 100644 --- a/asia +++ b/asia @@ -1711,6 +1711,17 @@ Rule ROK 1987 1988 - Oct Sun>=8 3:00 0 S # # For Pyongyang we have no information; guess no changes since World War II. +# From Steffen Thorsen (2015-08-07): +# According to many news sources, North Korea is going to change to +# the 8:30 time zone on August 15, one example: +# http://www.bbc.com/news/world-asia-33815049 +# +# From Paul Eggert (2015-08-07): +# No transition time is specified; assume 00:00. +# There is no common English-language abbreviation for this time zone. +# Use %z rather than invent one. We can't assume %z works everywhere yet, +# so for now substitute its output manually. + # Zone NAME GMTOFF RULES FORMAT [UNTIL] Zone Asia/Seoul 8:27:52 - LMT 1908 Apr 1 8:30 - KST 1912 Jan 1 @@ -1723,7 +1734,8 @@ Zone Asia/Pyongyang 8:23:00 - LMT 1908 Apr 1 8:30 - KST 1912 Jan 1 9:00 - JCST 1937 Oct 1 9:00 - JST 1945 Aug 24 - 9:00 - KST + 9:00 - KST 2015 Aug 15 + 8:30 - +0830 # %z ############################################################################### -- 2.1.4