bug#71094: [PATCH] Prefer to run find and grep in parallel in rgrep

[Spencer Baugh]

Stefan Kangas <stefankangas@gmail.com> writes:
> Spencer Baugh <sbaugh@janestreet.com> writes:
>
>> Eli Zaretskii <eliz@gnu.org> writes:
>>>> From: Spencer Baugh <sbaugh@janestreet.com>
>>>> Cc: rgm@gnu.org,  71094@debbugs.gnu.org,  dmitry@gutov.dev
>>>> Date: Thu, 30 May 2024 08:29:04 -0400
>>>>
>>>> Eli Zaretskii <eliz@gnu.org> writes:
>>>>
>>>> > Thanks, LGTM.
>>>>
>>>> So is this OK to install now?
>>>
>>> As far as I'm concerned, yes.  I don't know if the other participants
>>> of this discussion are okay with this or they still have some
>>> comments.
>>
>> Since no-one else has made any comments, could this be installed now?
>
> Yes, please go ahead, and thanks.

I don't actually have commit access (AFAIK?) so someone else will need
to push it :)