bug#71179: [PATCH] In rgrep, check matching files before excluding files

[Dmitry Gutov]

On 25/05/2024 17:13, Eli Zaretskii wrote:
> > What other possibilities?
> Who knows?  Why risk any changes at all?
>
> Anyway, I suggested an approach that should leave everyone happy.  Why
> are we still arguing?

New option has the usual problems:

* What to call it.
* General proliferation of new options makes it harder to find each one.
* Several days of arguing whether we can make the new behavior the 
default one.