Processed (with 1 error): your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 1120365 gnome-shell + wayland: Using a shortcut sometimes
Bug #1120365 [gnome-shell] tilda + gnome + wayland: shortcut for show/hide tilda sometimes as if the key remains pressed
Changed Bug title to 'gnome-shell + wayland: Using a shortcut sometimes' from 'tilda + gnome + wayland: shortcut for show/hide tilda sometimes as if the key remains pressed'.
> behaves as if the key remained pressed.
Unknown command or malformed arguments to command.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
1120365: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1120365
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems