Processed: Bug#443250: xserver-xorg-input-kbd: shift key doesn't work if pressed very quickly after certain letters

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> forwarded 443250 https://bugs.freedesktop.org/show_bug.cgi?id=12509
Bug#443250: xserver-xorg-input-kbd: shift key doesn't work if pressed very quickly after certain letters
Noted your statement that Bug has been forwarded to https://bugs.freedesktop.org/show_bug.cgi?id=12509.

> thank you
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)