On 09/30/2011 10:51 PM, Jim Meyering wrote: > Pádraig Brady wrote: >> >> Your fixes look good, and I'll adjust mine mentioning >> the debian bug too. > > Thanks for the review. Pushed. > And I applied the attached. cheers, Pádraig.