Bug#1130845: no crash with 7.0.10

[Christophe Combelles]

Hello,

I just rebooted into debian's 7.0.10, and I got no crash,  then rebooted to 
7.0.9, got a crash, then rebooted to 7.0.10 and still no crash.

So it seems there is something new with 7.0.10.

Christophe