This patch is just a clean-up and has nothing to do with this bug. The set_default_value function appears twice (duplicated) in the script.
** Attachment added: "removes the duplicate set_default_value function" http://librarian.launchpad.net/5152552/update-grub.remove-dup.diff -- [patch] update-grub: savedefault can cause problems https://launchpad.net/bugs/66278 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
