<div><br clear="all"><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">null</div></div></div><div><br></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Dec 20, 2023 at 12:00 PM Paul Eggert via tz <<a href="mailto:tz@iana.org">tz@iana.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">On 2023-12-20 09:41, Tim Parenti wrote:<br>
> One drawback of this approach is that such lines will need to be merged<br>
> into the appropriate long-term zonenow entry after the date listed.<br>
<br>
That shouldn't be a problem in this particular case. After the date <br>
listed, the comment line and associated data line should simply vanish. <br>
There should then be no need to alter the comment line or comments <br>
column for the America/Nuuk ("most of Greenland") line, since <br>
Ittoqqortoormiit is in "most of Greenland".<br>
<br>
The main reason there's a comment with a date now, is to remind us to <br>
remove the comment and the associated data line then. (This is belt and <br>
suspenders as "make check" should also remind us.)<br>
<br>
You're right that it is an issue in the general case when data lines are <br>
removed (or added) in zonenow.tab. That's why zonenow.tab is a separate <br>
file. Although I originally wanted to calculate zonenow.tab <br>
automatically, there was too much human judgment in its "comments" column.<br>
<br>
Thanks for catching the typo. I have more typo fixes on the way....<br>
</blockquote></div></div>