Comment 11 for bug 1272720

Revision history for this message
thom (tsk) wrote :

UPDATE

After installing linux-headers-3.13.0-7-generic manually
and re-installing linux-image-3.13.0-7-generic
the problem seems solved.

Not that I fully understand what happened but nevertheless... :-)