Looks good to me, but I'm not familiar with the code base. Thanks Paul.

...Stu

On Wed, Jun 21, 2017 at 10:01 PM, Paul Eggert <eggert@cs.ucla.edu> wrote:

> On 06/21/2017 06:27 PM, Jim Meyering wrote:
>
>> Thanks for all of that careful work. It looks fine to me.
>> Please add a reference to this bug number, 26254, in the commit log.
>>
>
> Thanks, done.
>