FYI, I noticed only after pushing that "make check" was failing a test because that new script was not executable, so I've just pushed a follow-up patch to fix that.
On Tue, Oct 28, 2014 at 6:07 PM, Jim Meyering <j...@meyering.net> wrote: > I've adjusted the commit subject and ChangeLog content, and will push > this today, then I'll make a pre-release snapshot.
