-
Committer:
Matthew Fuller
-
Date:
2021-07-15 23:19:18 UTC
-
Revision ID:
fullermd@over-yonder.net-20210715231918-1bdioet0v607lc9d
We're already UTF-8'ing elsewhere in the file, so use it in a couple
names. Better than the wrong letter, and WAY better than HTML
entities...