Hi,
I noticed in the 2015f tz database that the new Asia/Pyongyang zone for North Korea (now UTC+8:30) has the same abbreviation as Asia/Seoul. Both are noted as KST. Should the abbreviation for Asia/Pyongyang by changed to NKST, perhaps?
Pardon if this issue has already been discussed, or if a new abbreviation has already been decided. I am new to the forum, thanks for understanding.
--Greg Slayden
Microsoft Corporation