On Mon, Nov 10, 2014 at 7:59 AM, Jim Meyering <jim@meyering.net> wrote:
> There have been a few months worth of changes, so
> I'm updating to the latest with these patches:

FYI, here's another "maint" patch I've just pushed: