Your message dated Sun, 24 May 2020 00:08:37 -0700 with message-id and subject line Re: bug#34821: discard_input_tty does not discard pending input, resulting in garbage inserted into the buffer has caused the debbugs.gnu.org bug report #34821, regarding discard_input_tty does not discard pending input, resulting in garbage inserted into the buffer to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 34821: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34821 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems