[tz] DPRK to revert to UTC+9 from UTC+8:30

[Paul Eggert]

On 04/30/2018 08:59 AM, Michael H Deckers via tz wrote:
> Isn't this an indication that the abbreviation "PYT" was used

Yes, PYT was used, as was KST. I never did see much of a consensus in 
English-language sources. At this point I doubt whether it's worrying about.