Re: [bug-diffutils] [patch] --ignore-file-name-case

[Paul Eggert]

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.