Sebastian, I can say that this happened in exactly the same way last time I updated gnome-panel. It didn't give lasting trouble so I didn't report it the first time. I will certainly keep an eye out for it next time.
-- gnome-panel reported a crash at the end of a feisty update https://launchpad.net/bugs/78606 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
