[Bug 480042] Re: option GRUB_DEFAULT=SAVED doesn't work

[Marc G.]

** Attachment added: "grub.cfg"
   http://launchpadlibrarian.net/35480510/grub.cfg

-- 
option GRUB_DEFAULT=SAVED doesn't work
https://bugs.launchpad.net/bugs/480042
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs