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

[Robert Elz]

    Date:        Fri, 7 Aug 2015 08:50:02 +0200
    From:        Steffen Thorsen <thorsen at timeanddate.com>
    Message-ID:  <55C4551A.1030907 at timeanddate.com>

  | This probably needs a new time zone abbreviation,

Why?

It appears as if we have used KST for both north & south Korea (aside from
ROK's occasional uses of summer time) more or less forever (the period when
Japan was in control excepted), whether the offset has been +0830 or +0900,
and including (in both countries) during (winter during) the previous period
that their timezone offsets disagreed (1954-1961).    And what's more, we
did earlier, when the data was different, but with a similar variation.

Why change now?

[Aside: if an abbreviation change was warranted, picking a %z style would
seem to be a very poor choice to me ... and while it is clear that actually 
using the new '%z' would be inappropriate yet, it is no more clear to me that
older zic's, and other uses, will all support +0830 as the abbreviation.]

kre