Comment 2 for bug 1102925

Revision history for this message
Colin Watson (cjwatson) wrote :

Thanks for your report. I've committed a change upstream for 2.01 to document this:

2013-01-22 Colin Watson <email address hidden>

        * util/grub-reboot.in (usage): Document the need for
        GRUB_DEFAULT=saved.
        * util/grub-set-default.in (usage): Likewise.
        Reported by: Brian Candler. Fixes Ubuntu bug #1102925.