
<!DOCTYPE html>


<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body>


<div class="moz-cite-prefix">


<div id="rwhMsgHeader">On 05/04/2023 01.00, Paul Eggert wrote:


<blockquote type="cite">Thanks for reporting that. I installed the attached, which is your data patch plus some commentary.<br>


</blockquote>


</div>


<div>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.<br>


</div>


</div>


</body>


</html>