Nov. 13, 2023
3:12 a.m.
On 05/04/2023 01.00, Paul Eggert wrote: Thanks for reporting that. I installed the attached, which is your data patch plus some commentary. FWIW, Greenland underwent the real TZ change last weekend, and nobody has been concerned about the is_dst flag since 2023c came out. So for better timezone consistency, I would suggest to that we simply drop this change to rigidly fix is_dst, and use what is in 2023c. This follows the intention of the timezone change and prevents confusion when looking back.