On Tue, Jan 7, 2014 at 7:56 PM, Jim Meyering <jim@meyering.net> wrote:
> Here is the improved patch.

I've added a NEWS entry.  Pushing tomorrow: