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.