threads / patch / 50650

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

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

## tl;dr

2 messages between Mar 4, 2019 and Mar 6, 2019. Diffs are folded; open one to read it.

replies: 1people: 2as markdown or json

Sent from my iPhone

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