March 10, 2020
9:22 a.m.
Thanks a lot, Paul. It's a pleasure to collaborate with you. I'll make sure to share the updates with the Ukrainian community. Sent with ProtonMail Secure Email. ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On Tuesday, March 10, 2020 2:48 AM, Paul Eggert <eggert@cs.ucla.edu> wrote:
Thanks, I installed the attached patch into the development version on GitHub. It uses your suggestion, except that for Europe/Zaporozhye it uses the comment "Zaporozhye and east Lugansk" which reflects the two regions the zone is supposed to cover, and which also reflects what appear to be the most common English-language spellings for the regions in question.