Processed: bug 443250 is forwarded to https://bugs.freedesktop.org/show_bug.cgi?id=12858

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

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.9
> forwarded 443250 https://bugs.freedesktop.org/show_bug.cgi?id=12858
Bug#443250: shift key doesn't work if pressed very quickly after certain letters
Forwarded-to-address changed from https://bugs.freedesktop.org/show_bug.cgi?id=12509, merged-upstream: https://bugs.freedesktop.org/show_bug.cgi?id=12858 to https://bugs.freedesktop.org/show_bug.cgi?id=12858.

>
End of message, stopping processing here.

Please contact me if you need assistance.

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