The GRUB_RECORDFAIL_TIMEOUT block is one line off where it should be in grub.texi; I'll fix that up. I think I'll also consolidate this into ubuntu_failed_boot_menu.patch; there's little point in carrying two patches in the series when the whole recordfail business is an Ubuntu patch to begin with.
The GRUB_RECORDFAIL _TIMEOUT block is one line off where it should be in grub.texi; I'll fix that up. I think I'll also consolidate this into ubuntu_ failed_ boot_menu. patch; there's little point in carrying two patches in the series when the whole recordfail business is an Ubuntu patch to begin with.
Otherwise this looks good, thanks!