Subject: Re: bug#10851: Error edebugging read-char-by-name

From: martin rudalics <[email-masked]>
Date: Mon, 08 Oct 2012 08:56:25 +0200

>> Does this still happen?
> 
> Yes.
> 
>> It seems like here I can't reproduce it any more.
> 
> I can, exactly as reported.

Sorry.  But with revision 110435 it has been fixed, hopefully?

martin