From: Johannes Schindelin Date: Wed, 06 Mar 2019 14:23:01 GMT Subject: Re: [PATCH] merge-recursive: ignore_case shouldn't reject intentional removals Message-ID: In-Reply-To: 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