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.