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

[Paul Eggert]

Thanks for the heads-up. Could you please let us know exactly when DPRK will 
make the transition from +08:30 to +09? We'll need that information to update 
tzdb. Thank you.