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

From: Harald Hanche-Olsen <[email-masked]>
Date: Thu, 11 Oct 2012 08:37:29 +0200 (CEST)

[Stefan Monnier <[email-masked]> (2012-10-11 00:56:00 UTC)]

> Indeed, a buffer-local setting of completion-ignore-case can
> bring surprises.  I think the patch below will fix this problem for this
> particular case.

Indeed it does. I think that patch is worth committing.

- Harald