Comment 95 for bug 19171

Revision history for this message
Lukas Kolbe (lucky) wrote :

(From update of attachment 3677)
update: after rebooting I actually have a /dev/input/mice. When I plug the
mouse into the usb-port I usually use, it doesn't work. When I plug it the port
on the other side of the laptop, it works very fine. Seems pretty strange to
me, but that is possibly another bug?