Subject: Re: bug#10851: Error edebugging read-char-by-name
From: Juanma Barranquero <[email-masked]>
To: martin rudalics <[email-masked]>
Cc: [email-masked]
Date: Mon, 8 Oct 2012 13:17:26 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

On Mon, Oct 8, 2012 at 8:56 AM, martin rudalics <[email-masked]> wrote:

But with revision 110435 it has been fixed, hopefully?

Yes, thanks.

Closing this one.

    Juanma