GNU bug report logs - #56985
[PATCH] gnu: ugrep: Update to 3.8.3.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: 宋文武 <iyzsong <at> envs.net>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#56985: closed ([PATCH] gnu: ugrep: Update to 3.8.3.)
Date: Fri, 05 Aug 2022 02:52:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Fri, 05 Aug 2022 10:51:25 +0800
with message-id <877d3nz9le.fsf_-_ <at> envs.net>
and subject line Re: bug#56985: [PATCH] gnu: ugrep: Update to 3.8.3.
has caused the debbugs.gnu.org bug report #56985,
regarding [PATCH] gnu: ugrep: Update to 3.8.3.
to be marked as done.

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


-- 
56985: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56985
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: kiasoc5 <kiasoc5 <at> disroot.org>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: ugrep: Update to 3.8.3.
Date: Thu, 4 Aug 2022 20:37:31 +0000

[Message part 3 (text/plain, inline)]

[0001-gnu-ugrep-Update-to-3.8.3.patch (text/x-patch, attachment)]

[Message part 5 (message/rfc822, inline)]

From: 宋文武 <iyzsong <at> envs.net>
To: "kiasoc5" <kiasoc5 <at> disroot.org>, "(" <paren <at> disroot.org>
Cc: 56985-done <at> debbugs.gnu.org
Subject: Re: bug#56985: [PATCH] gnu: ugrep: Update to 3.8.3.
Date: Fri, 05 Aug 2022 10:51:25 +0800

Hello, I had pushed the update, thank you!

"(" <paren <at> disroot.org> writes:

> Could you do argument gexpifying here too, please?
>
>     -- (

Feel free to do it in another patch... Thanks!

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.