>>>>> Paul Eggert <eggert@cs.ucla.edu> writes:

> Alternatively we could revert commit
> 4235d2d9eaa3b64d3172f6c60f1e71704795af89 and go back to straight quoting
> 'like this' in etc/NEWS, as was done after my first patch today. That would
> be adequate too, even though (as John said) it is less consistent with the
> rest of the documentation. The main point is that grave quoting `like this'
> is not right in user-facing documentation.

It would be my preference to use `these quotes' in etc/NEWS, and any other
text-based internal documentation, rather than try to use curly quotes
everywhere. It sounds like the preference of a lot of other people as well, in
addition to its being easier to maintain, so let's revert that commit and go
back to `quotes'.

-- 
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2