Jan. 14, 2024
9:53 p.m.
On 2024-01-14 07:30, Đoàn Trần Công Danh wrote:
A new source for the transition of Asia/Ho_Chi_Minh and Asia/Hanoi from +09 to +07 was found.
Thanks for the better source. I installed that, followed by the attached further patch which moves the newly-added commentary to a better spot, tightens it up a bit, and changes "Sep 2" to "Sep 1 24:00" in the data.