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

1 file Authored by kiilerix 12 years ago, Committed by pjones 12 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