Subject: Re: bug#71179: [PATCH] In rgrep, check matching files before excluding files
From: Stefan Kangas <[email-masked]>
To: Eli Zaretskii <[email-masked]>, Spencer Baugh <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Sun, 2 Jun 2024 03:46:09 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Version: 30.1

Eli Zaretskii <[email-masked]> writes:

> Thanks, this LGTM.

Same here, so pushed to master as commit b71fa27987d and closing the bug.

Thanks, Spencer.