Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 1120365 gnome-shell + wayland: Using a shortcut sometimes behaves as if the key remained pressed.
Bug #1120365 [gnome-shell] gnome-shell + wayland: Using a shortcut sometimes
Changed Bug title to 'gnome-shell + wayland: Using a shortcut sometimes behaves as if the key remained pressed.' from 'gnome-shell + wayland: Using a shortcut sometimes'.
>
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