PING Re: [RFA 0/3] new arguments [-d | -b] [--] [REGEXP] to info sources

[Philippe Waroquiers]

Thanks
Philippe
(Eli reviewed the doc already, was ok with a few changes to do)

On Sun, 2019-03-31 at 21:08 +0200, Philippe Waroquiers wrote:
> Currently, info sources shows the name of all source files.
> For big programs, the list can be very long, which means the prompt
> to continue kicks in (that can also reveal style bugs :).
> 
> These optional new arguments allow to have a more selective way to print
> the file names.
> 
> 
>