3 ms·
That bug was fixed in all releases last july. This was the bug: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1443735 https://bugs.launchpad.net/ubuntu/
by mdeslaur 11y ago
That bug was fixed in all releases last july. This was the bug:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1443735 https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1443735
- beagle3 11y agoThanks. I guess it didn't modify my /etc/default/grub (which I would have noticed) because I already added it myself. The problem was found (and a fix committed to proposed) in june 2012, but only applied (in -updates) in july 2015. I find that weird, to say the least.