bug#45223: closed ([PATCH] gnu: Add ripgrep.)

[GNU bug Tracking System]

Your message dated Fri, 12 Feb 2021 14:29:42 +0800
with message-id 
<OSZP286MB066456EC94B2117EB53E0ABCA38B9@OSZP286MB0664.JPNP286.PROD.OUTLOOK.COM>
and subject line Re: [bug#45223] [PATCH] gnu: Add ripgrep.
has caused the debbugs.gnu.org bug report #45223,
regarding [PATCH] gnu: Add ripgrep.
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: Add ripgrep. Date: Sun, 13 Dec 2020 22:05:09 +0800

ripgrep-all.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#45223] [PATCH] gnu: Add ripgrep.
>
>
>
>
> Date: 
>
> Fri, 12 Feb 2021 14:29:42 +0800
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
>
>
>
>
> Z572 <873216071@qq.com> writes:
>
> > Sorry, I sent an email to 45223-done@debbugs.gnu.org at December 17,
> > This thread should be closed.
>
> It's still open now, let me try..
>
> Thank you!
>
>
> --- End Message ---