Re: [PATCH 02/12] git-grep: support --no-external-grep
From: Petr Baudis <hidden>
Date: 2016-06-15 22:45:00
Hi! On Wed, Jul 23, 2008 at 09:01:30PM +0200, Petr Baudis wrote:
(Which is also why is it useful to write cover letters for patch series.)
sorry, I did not notice the cover letter, already separated from the rest by a sprouting thread. Which is also why it is useful to thread up all the patches. ;-) Petr "Pasky" Baudis