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
https://eur04.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.enterprisedb.com&data=02%7C01%7C%7Cf90fcaf64b8e4a34c8eb08d6103fb6d4%7C84df9e7fe9f640afb435aaaaaaaaaaaa%7C1%7C0%7C636714263159621778&sdata=LKlbV4zSWrOgbk%2B5CUPma%2FkEZL4yiHXWk%2BuNBPljNnk%3D&reserved=0