My USB mouse is working fine again. I don't remember the exact date this happened, because I have had a lot of other things on my mind during the summer holiday, but this has been the case for weeks (sorry that I haven't reported this earlier). Anyway, the mouse now survives the hibernation and works perfectly fine after the machine wakes up again.
-- Unmount USB devices before hibernation https://launchpad.net/bugs/40397 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
