|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#17599: closed ([PATCH] grep: removal of an unnecessary argument) |
Date: | Mon, 26 May 2014 16:09:02 +0000 |
Your message dated Mon, 26 May 2014 09:07:57 -0700 with message-id <address@hidden> and subject line Re: bug#17599: [PATCH] grep: removal of an unnecessary argument has caused the debbugs.gnu.org bug report #17599, regarding [PATCH] grep: removal of an unnecessary argument to be marked as done. (If you believe you have received this mail in error, please contact address@hidden) -- 17599: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=17599 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: [PATCH] grep: removal of an unnecessary argument Date: Mon, 26 May 2014 23:39:05 +0900 `start_ptr' which is 4th argument is always null in do_execute(). So remove it to simplify. This patch doesn't change behaviour of grep.0001-grep-removal-of-an-unnecessary-argument.patch
Description: Text document
--- End Message ---
--- Begin Message ---Subject: Re: bug#17599: [PATCH] grep: removal of an unnecessary argument Date: Mon, 26 May 2014 09:07:57 -0700 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 Thanks, I installed that.
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |