- revert incorrect change to grub.texi
2 files changed