On Tue, Aug 28, 2018 at 3:20 PM Michael Paquier <michael@paquier.xyz> wrote:
> Jokes apart, I would have preferred if you used directly the unicode
> points as those are easier to look after in UnicodeData.txt, say
> '\u03B1' for small alpha. If you want to go with the hex code, it would
> be a better reference to copy/paste directly the character name from
> UnicodeData.txt as those are easier to search in the future, perhaps
> with their unicode points:
> - GREEK SMALL LETTER ALPHA
> - GREEK SMALL LETTER OMEGA
> - GREEK CAPITAL LETTER ALPHA
> - GREEK CAPITAL LETTER OMEGA
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.
--
Thomas Munro
http://www.enterprisedb.com
