<div dir="ltr">Thanks all, really appreciated. :)<div><br></div><div>Pulu</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 27, 2016 at 5:43 PM, Paul Eggert <span dir="ltr"><<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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.<br>
<br>
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.<br>
</blockquote></div><br></div>