Re: [tz] Pyongyang Time transition plan announced

Tim Parenti wrote:

It appears to be the front page story at the top in the right-most column:

Thanks. In the absence of further info, let's assume the transition will be at 00:00 local time on May 5, and that the clocks will jump from 00:00 to 00:30. Proposed patch attached. If we find out later that this assumption is wrong, we'll need to update tzdb accordingly. We'll need a new tzdb release shortly, of course.