bug#17599: [PATCH] grep: removal of an unnecessary argument

bug-grep

From:	Paul Eggert
Subject:	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.

Current Thread

[Next in Thread]

bug#17599: [PATCH] grep: removal of an unnecessary argument, Norihiro Tanaka, 2014/05/26
- bug#17599: [PATCH] grep: removal of an unnecessary argument, Paul Eggert <=