On Sun, Oct 28, 2018 at 12:59 PM Bernhard Voelker <[email protected]> wrote: > On 10/28/18 1:25 PM, Jim Meyering wrote: > > Thanks for fixing that, but... > > > >> - @h='same.h' re='\<same_name *\(' $(_sc_header_without_use) > > + @h='same.h' re='\<same_name(|at) *\(' $(_sc_header_without_use) > > > > please use the "?" operator instead of an empty alternation, i.e., > > > > @h='same.h' re='\<same_name(at)? *\(' $(_sc_header_without_use) > > okay, thanks. Would you push for me with that little change, please? > I don't have push permissions on 'gnulib.git' anyway.
Sure. Done.
