Re: [PATCH 3/3] Fix minor quoting issues, mostly with `. [in gnulib documentation]

[Paul Eggert]

On 12/27/11 15:21, Karl Berry wrote:
> Regardless of what he decides in general, I don't think it is worth
> thinking about changing the (L)GPL sources for mere quoting changes.

OK, thanks, I left those alone.  More generally, I left alone all the
files that are automatically imported from elsewhere: I'll
forward the remaining fixes upstream at some point .  I pushed
the rest of the patches into gnulib (thanks to Bruno for his
review as well).