<div dir="ltr">Follow-up question, if the commit won't be reverted, should backward<div>file's header be updated? Now it says "This file provides links between</div><div>current names for timezones and their old names". I don't think</div><div>"Europe/Berlin" is new name for "Europe/Oslo'' (and I believe it can be</div><div>applied to most of the changes from that commit).</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 20 Sept 2021 at 17:32, Paul Eggert <<a href="mailto:eggert@cs.ucla.edu">eggert@cs.ucla.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 9/20/21 8:15 AM, Almaz Mingaleev wrote:<br>
> Thanks, Paul. It works fine.<br>
<br>
Thanks for checking. As the "Revert May patch to zone.tab" patch fixes <br>
your problems, and there doesn't seem to be any objection to it and I <br>
doubt there would be any, I installed it into the development database <br>
on GitHub.<br>
</blockquote></div>