Guillem Jover <guil...@debian.org> writes: > I'm attaching a few patches fixing spacing and typographical issues. > For the quotes fix, I personally highly prefer UTF-8 character pairs > such as «», “”, ‘’, but went with the conservative ASCII ones '' as that > tends to cause less opposition. But I'm happy to convert these to some > of the UTF-8 ones if you prefer.
Thank you! Applied for the next release. I have a minor bias against the UTF-8 quotes only because they're more annoying to type with a typical US keyboard, while agreeing that they're typographically more correct. -- Russ Allbery (r...@debian.org) <https://www.eyrie.org/~eagle/>