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.