Subject: bug#12615: 24.2.50; Non-ignored case in insert-char

From: Stefan Monnier <[email-masked]>
Date: Mon, 07 Jan 2013 22:19:30 -0500

> Maybe to fix all them at once, `read_minibuf' should make
> a local variable `completion-ignore-case' in the minibuffer
> and copy its value from the original buffer?

That might be a good idea.
I'd guess only completing-read would need to do it, rather than
read_minibuf.

Tho we might still want to make it possible to specify case-irrelevance
in the completion table itself.

        Stefan