Oct. 27, 2016
6:36 a.m.
Thanks all, really appreciated. :) Pulu On Thu, Oct 27, 2016 at 5:43 PM, Paul Eggert <eggert@cs.ucla.edu> wrote:
Thanks for preparing those patches. I installed them in the development repository along with the attached, which uses a fakauʻa in Pulu ʻAnau's name (I assume this is the proper orthography for a Tongan name - please correct me if wrong), and which replaces the invented time zone abbreviations with numeric ones.
It looks like we'll need a new release soon, since the current data are wrong starting about ten days from now. This is not enough notice of course.