Hello, I was first hit by this bug few weeks ago and, needless to say, it's quite annoying. The workaround for now is killing "gamin_server" by 'pkill gamin_server'. HTH, -- http://www.glennie.fr We do not know what we want and yet we are responsible for what we are - that is the fact.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
