[debbugs-tracker] Processed: Re: bug#19718: read_filtered_event echos mouse events until character is inputted

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> severity 19718 minor
Bug #19718 [emacs] read_filtered_event echos mouse events until character is 
inputted
Severity set to 'minor' from 'normal'

> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/