From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 27 Feb 2014 23:20:31 GMT
Subject: Re: [PATCH v2 7/8] name-hash: allow dir hashing even when !ignore_case
Message-ID: <xmqqk3cgw3b4.fsf@gitster.dls.corp.google.com>
In-Reply-To: <38527c9f6ae31ad39d8f3dddfe5252a3527629ed.1393059605.git.tr@thomasrast.ch>

Thomas Rast <tr@thomasrast.ch> writes:

> The directory hash (for fast checks if the index already has a
> directory) was only used in ignore_case mode and so depended on that
> flag.
>
> Make it generally available on request.
>
> Signed-off-by: Thomas Rast <tr@thomasrast.ch>
> ---

I somehow had an impression that we were getting rid of these two
hashes and merging them into one, but I do not see any such change
between 'master..pu'.  Perhaps I am confused with some other topic.