Paul Eggert Wed, 12 Oct 2016 17:32:44 -0700
On 10/12/2016 03:06 PM, Jim Meyering wrote:
Sure. Update past this commit:
Thanks, that fixed it for me.