[tz] North Korea into +8:30 time zone

[Paul Eggert]

Thanks for the heads-up.  Less than one weeks' notice, so we need a new tz 
release very soon, which will update Uruguay too of course.

I wonder what cell phone users in North Korea are going to do.  The usual trick 
is to substitute some foreign city that happens to have the correct UTC offset, 
but that won't work here.

Steffen Thorsen wrote:

> This probably needs a new time zone abbreviation

As it happens, the new zone is what zic's new %z feature was designed for, and 
if we use %z we won't need to invent a time zone abbreviation.  Unfortunately we 
can't assume %z works everywhere, so the attached proposed patch does the 
abbreviation by hand; we can convert it to %z later.  The patch also contains a 
change to 'Theory' to document the motivation for the %z business.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-North-Korea-changes-to-0830-effective-August-15.patch
Type: text/x-diff
Size: 3869 bytes
Desc: not available
URL: <http://mm.icann.org/pipermail/tz/attachments/20150807/e8b4e9e8/0001-North-Korea-changes-to-0830-effective-August-15.patch>