Comment 1 for bug 11825

Thanks for this bugreport.

I've seens this kind of crash before but I'm unable to reproduce it :/
I run update-manager with a 5sec fam check intervall here and:

while true; do sleep 10; sudo apt-get update ; sleep 10 ; sudo apt-get install
-y --force-yes gedit=2.8.1-0ubuntu1 gedit-common=2.8.1-0ubuntu1; sleep 10; sudo
apt-get dist-upgrade -y; done

so that it has to do a lot of checking and updating. But it still no crash here.
I'll give it another try tomorrow.

thanks,
 Michael