Subject: Problem raith 2003-11-16 01:04:42: Report Problem for raith
From: cumings@snf.stanford.edu
Date: Sun, 16 Nov 2003 01:04:43 -0800

middle button of Leo mouse stopped working for a while.  I swapped it with the mouse
of the computer on the bench, and that worked okay.  Now I swapped back to the original
mouse and it works fine again.  Maybe just needs a new mouse?