Re: [PATCH 1/3] Add read_cache_from() and discard_cache()

Johannes Schindelin [off-list ref] writes:

Ummm. After reading my original mail again: bad tobacco that was. Of 
course, I meant discard_cache(), not get_merge_bases(). Setting 
index_file_timestamp in get_merge_bases() would be wrong.

I was well aware you were talking about discard_cache().  I
think these two clean-ups are good to have there.