unknown-horizons/unknown-horizons — pull request #2112 by ChrisOelmueller (2013-05-21 09:36:14+00:00)
Title: Ellipses (`…`) instead of `...`

Typography reasons (and fixes something Weblate complains about). The introduction of unicode inside gettext calls hopefully will be limited to guitranslations (where we better not take a guess whether it's required, since adding `u` doesn't do harm).

Do we want to add `Encoding:` lines to all our source files?