June 9, 2020
4:05 p.m.
On 6/9/20 4:30 AM, Michael H Deckers via tz wrote:
- Zone Europe/Budapest 1:16:20 - LMT 1890 Oct + Zone Europe/Budapest 1:16:20 - LMT 1890 Oct 31 23u
Thanks for the update. I didn't see anything in the source about time-of-day for the transition, though. In cases like that we simply list the date. So for now I installed the attached proposed patch.