Processed: retitle 443205 to xserver-xorg-core: duplicate mouse events, found 443205 in 2:1.4.1~git20071212-2

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

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.11
> retitle 443205 xserver-xorg-core: duplicate mouse events
Bug#443205: rendering and input problems in firefox and others
Changed Bug title to `xserver-xorg-core: duplicate mouse events' from `rendering and input problems in firefox and others'.

> found 443205 2:1.4.1~git20071212-2
Bug#443205: xserver-xorg-core: duplicate mouse events
Bug marked as found in version 2:1.4.1~git20071212-2.

>
End of message, stopping processing here.

Please contact me if you need assistance.

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