Processed: Re: Bug#443205: xorg: SendCoreEvents leads to duplicate events

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

Processing commands for control@bugs.debian.org:

> clone 443205 -1
Bug#443205: xserver-xorg: various input problems with xorg 7.3
Bug 443205 cloned as bug 443441.

> reassign -1 xserver-xorg-input-mouse
Bug#443441: xserver-xorg: various input problems with xorg 7.3
Bug reassigned from package `xserver-xorg' to `xserver-xorg-input-mouse'.

> retitle -1 Duplicate mouse events with Xserver 1.4
Bug#443441: xserver-xorg: various input problems with xorg 7.3
Changed Bug title to `Duplicate mouse events with Xserver 1.4' from `xserver-xorg: various input problems with xorg 7.3'.

> found -1 1:1.2.2-5
Bug#443441: Duplicate mouse events with Xserver 1.4
Bug marked as found in version 1:1.2.2-5.

> submitter -1 Ben Pearre <bwpearre@gmail.com>
Bug#443441: Duplicate mouse events with Xserver 1.4
Changed Bug submitter from Alexander Heinlein <alexander.heinlein@web.de> to Ben Pearre <bwpearre@gmail.com>.

> forwarded -1 https://bugs.freedesktop.org/show_bug.cgi?id=12507
Bug#443441: Duplicate mouse events with Xserver 1.4
Noted your statement that Bug has been forwarded to https://bugs.freedesktop.org/show_bug.cgi?id=12507.

> thank you
Stopping processing here.

Please contact me if you need assistance.

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