Re: [PATCH] merge-recursive: ignore_case shouldn't reject intentional removals

[Johannes Schindelin]

Hi Woody,

On Mon, 4 Mar 2019, Woody Woodman wrote:

> 
> 

Details, please.

> Sent from my iPhone

Not sent from my iPhone, as it would really be cumbersome to type an
informative, useful bug report on a phone, even the best of them.

Ciao,
Johannes