|
| From: | martin rudalics |
| Subject: | bug#10851: Error edebugging read-char-by-name |
| 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
| [Prev in Thread] | Current Thread | [Next in Thread] |