|
From: | Paul Eggert |
Subject: | Re: [bug-diffutils] [patch] --ignore-file-name-case |
Date: | Thu, 04 Aug 2011 07:33:43 -0700 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.18) Gecko/20110617 Thunderbird/3.1.11 |
On 08/04/11 07:22, Jim Meyering wrote: > This looks like the bug Paul fixed after 3.0: I think it's different from that. Tim is proposing a change to the documented behavior, so it's not really a bug fix but more of a feature change.
[Prev in Thread] | Current Thread | [Next in Thread] |