Comment 24 for bug 1274320

Revision history for this message
Moritz Baumann (mo42) wrote :

As a temporary fix, you can edit /etc/grub.d/10_linux and replace 'quick_boot="1"' with 'quick_boot="0"' in line 25. (Don't forget to run "sudo update-grub" afterwards.)