Your message dated Wed, 28 Sep 2022 10:07:27 -0700
with message-id <9805f57d-e6e0-fcae-89d2-4eb703b5888c@cs.ucla.edu>
and subject line Re: bug#58134: grep for windows Include GLOB pattern with double star doesn't seem to work
has caused the debbugs.gnu.org bug report #58134,
regarding grep for windows Include GLOB pattern with double star doesn't seem to work
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
58134: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58134
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems