Comment 2 for bug 517585

Revision history for this message
Jacqvo (jacq) wrote :

I did not see anything wrong in /etc/default/grub, but i had set the GRUB_DEFAULT=auto and had modified the /etc/grub.d/40_custom

After update GRUB_DEFAULT was 0 again.