Processed: Bug#442915: xserver-xorg-input-mouse: mouse dead with X41 Tablet PC

To: Brice Goglin <Brice.Goglin@ens-lyon.org>
Cc: Debian X Strike Force <debian-x@lists.debian.org>(xserver-xorg-input-mouse #442915), debian-bugs-forwarded@lists.debian.org (#442915)
Subject: Processed: Bug#442915: xserver-xorg-input-mouse: mouse dead with X41 Tablet PC
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 21 Sep 2007 10:17:17 +0000
Message-id: <[🔎] handler.s.C.119036965023813.transcript@bugs.debian.org>
In-reply-to: <[🔎] 46F39940.7050709@ens-lyon.org>
References: <[🔎] 46F39940.7050709@ens-lyon.org>

Processing commands for control@bugs.debian.org:

> forwarded 442915 https://bugs.freedesktop.org/show_bug.cgi?id=12508
Bug#442915: xserver-xorg-input-mouse: mouse dead with X41 Tablet PC
Noted your statement that Bug has been forwarded to https://bugs.freedesktop.org/show_bug.cgi?id=12508.

> thank you
Stopping processing here.

Please contact me if you need assistance.

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

Reply to:

References:
- Bug#442915: xserver-xorg-input-mouse: mouse dead with X41 Tablet PC
  - From: Brice Goglin <Brice.Goglin@ens-lyon.org>

Prev by Date: Bug#443205: xserver-xorg: various input problems with xorg 7.3
Next by Date: Processed: Bug#443250: xserver-xorg-input-kbd: shift key doesn't work if pressed very quickly after certain letters
Previous by thread: Bug#442915: xserver-xorg-input-mouse: mouse dead with X41 Tablet PC
Next by thread: Bug#442915: xserver-xorg-input-mouse: mouse dead with X41 Tablet PC
Index(es):
- Date
- Thread