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.
beagle3|10 years ago
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.