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

[Paul Eggert]

Robert Elz wrote:
> Just leave Korea (both parts) as KST as they (mostly) always have been.

I suppose you're right, at least for KST (the argument for wholly-invented 
abbreviations is less convincing).  Anyway, now is not a good time to implement 
policy changes like this, as we need to push out a new release quickly.  So I 
installed the attached further patch into the experimental version.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Use-KST-to-abbreviate-new-time-zone-too.patch
Type: text/x-diff
Size: 2739 bytes
Desc: not available
URL: <http://mm.icann.org/pipermail/tz/attachments/20150808/e02c8133/attachment.patch>