Subject: bug#37820: 25.2; xref using etags incorrect case fold during completion

From: Dmitry Gutov <[email-masked]>
Date: Sat, 19 Oct 2019 10:14:37 +0300

On 19.10.2019 9:53, Eli Zaretskii wrote:
> Isn't that a contradiction of sorts?  How can we know which of these
> two should have precedence?

I think completion-ignore-case should have precedence in this example 
because the user called an xref command.

Whether tags are used, or something else, is an implementation detail. 
Behavior should be as similar as possible.