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

2 messages from 2019-03-04 to 2019-03-06. Participants: Woody Woodman, Johannes Schindelin.
Thread: https://gitlist.dev/t/50650

## Woody Woodman, 2019-03-04 23:07

Subject: Re: [PATCH] merge-recursive: ignore_case shouldn't reject intentional removals
Message-ID: <E996067C-E91F-4333-B996-D9AD9DD077C3@gmail.com>
URL: https://gitlist.dev/e/E996067C-E91F-4333-B996-D9AD9DD077C3%40gmail.com

```


Sent from my iPhone

```

## Johannes Schindelin, 2019-03-06 14:23

Subject: Re: [PATCH] merge-recursive: ignore_case shouldn't reject intentional removals
Message-ID: <nycvar.QRO.7.76.6.1903061522150.41@tvgsbejvaqbjf.bet>
URL: https://gitlist.dev/e/nycvar.QRO.7.76.6.1903061522150.41%40tvgsbejvaqbjf.bet
In-Reply-To: <E996067C-E91F-4333-B996-D9AD9DD077C3@gmail.com>

```
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

```