Sept. 21, 2021
4:17 p.m.
Follow-up question, if the commit won't be reverted, should backward file's header be updated? Now it says "This file provides links between current names for timezones and their old names". I don't think "Europe/Berlin" is new name for "Europe/Oslo'' (and I believe it can be applied to most of the changes from that commit). On Mon, 20 Sept 2021 at 17:32, Paul Eggert <eggert@cs.ucla.edu> wrote:
On 9/20/21 8:15 AM, Almaz Mingaleev wrote:
Thanks, Paul. It works fine.
Thanks for checking. As the "Revert May patch to zone.tab" patch fixes your problems, and there doesn't seem to be any objection to it and I doubt there would be any, I installed it into the development database on GitHub.