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

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.