Subject: Re: [PATCH 0/5] diff --ignore-case

From: Johannes Sixt <[email-masked]>
Date: Mon, 20 Feb 2012 09:41:45 +0100

Am 20.02.2012 03:16, schrieb Junio C Hamano:
> This teaches our "diff" machinery to optionally consider lines that are
> different only in upper/lower-cases to be equivalent.

When would I want to use --ignore-case? And how useful is it that it
does not obey the current locale, as in your implementation?

-- Hannes