Subject: bug#15012: 23.3; read-char inappropriate echo area content

From: Lars Ingebrigtsen <[email-masked]>
Date: Thu, 15 Aug 2019 09:14:27 -0700

Andreas Schwab <[email-masked]> writes:

> Did you modify echo-keystrokes?

Doesn't seem like it:

echo-keystrokes is a variable defined in ‘keyboard.c’.
Its value is 1

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no