Re: [PATCH] scripts: quote `like this', not 'like this'

[Stefano Lattarini]

On 09/21/2012 06:40 PM, Paul Eggert wrote:
> Thanks for doing all that.  Looks good to me,
> not that I reviewed every line.
>
Thanks.  Pushed.