On Fri, Mar 7, 2014 at 6:33 PM, Paul Eggert <[email protected]> wrote: > Jim Meyering wrote: >> >> That is my preference, too. > > > OK, thanks, I installed the attached patch, which should do just that, and > I'm marking this bug as done.
Impressive. After a first pass, I'd say it's perfect. Thanks a lot for all that fine work!
