May 23, 2024
1:32 a.m.
Thanks Paul! Your changes look good to me. This will save a bunch of people downstream a lot of time to avoid special-casing these legacy names. Thanks again, Justin On Wed, May 22, 2024 at 2:32 PM Paul Eggert <eggert@cs.ucla.edu> wrote:
On 2024-05-22 08:32, Yoshito Umaoka wrote:
I propose -
1) Move these legacy zones to “backzone” with keeping the current definition. 2) Also add them in “backward” file, but change EST5EDT and others as “Link” of modern zone sharing same historic offsets.
Thanks, good suggestions. I installed the attached patches into the development repository on GitHub to attempt to implement them; please give the patches a try.