204ee2 set GRUB_SAVEDEFAULT=true so saved defaults works (rbhz#732058)

1 file Authored by kiilerix 8 years ago , Committed by pjones 8 years ago ,
1 file changed. 1 lines added. 0 lines removed.
    set GRUB_SAVEDEFAULT=true so saved defaults works (rbhz#732058)
    
        
file modified
+1 -0