On Sun, Sep 02, 2018 at 07:17:59AM +1200, Thomas Munro wrote:
> Ok, I add the full code point names "GREEK ..." in comments, and
> pushed this to master. Thanks Tasos for the report, and Michael for
> the review.
Thanks Thomas for taking care of this!
--
Michael