|
|
|
|
|
|
by beagle3
3945 days ago
|
|
|
Thanks. 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. |
|
|