Tres,
Yes, setting default to "saved" means something - it means to look in /boot/grub/default for the value. :) These are indeed the exact same bug.
Tres,
Yes, setting default to "saved" means something - it means to look in /boot/grub/default for the value. :) These are indeed the exact same bug.