Paul Eggert wrote: > On 01/30/2012 08:00 AM, Jim Meyering wrote: >> Is there anything else people think should be considered? > > I'd also like to put in the quoting-style changes of > <http://lists.gnu.org/archive/html/bug-grep/2012-01/msg00125.html>. > Some quoting-style changes were put in about a week ago, > and it'd be nicer if we got the rest in too, before releasing.
Hi Paul, Thanks for the reminder. Yes, those changes belong, too, but I am hoping Paolo will find the time to follow up with his nice series first. I did not want to let the quoting changes cause him any trouble.
