I've found another bug that will prevent the default from being restored the first time you use grub-reboot. Details @ http://lists.gnu.org/archive/html/grub-devel/2009-12/msg00293.html
I've found another bug that will prevent the default from being restored the first time you use grub-reboot. Details @ http:// lists.gnu. org/archive/ html/grub- devel/2009- 12/msg00293. html