hi folks-- https://www.gnu.org/software/grub/manual/grub.html appears to be generated from 2.00~rc1. Given that 2.00 has been out for a while now, it seems like the online docs should probably be updated to match.
Thanks for all the work on grub!
Regards,
--dkg
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
