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 <egg...@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. >