Hi Patrick,
On Fri, Jan 17, 2020 at 03:34:08PM -0500, Patrick Higgins wrote:
> GRUB Developers,
>
> There appears to be a typo in the GRUB manual's Table of Contents at
> https://www.gnu.org/software/grub/manual/grub/html_node/index.html. List
> item 16.3.21 reads "linux", but this link actually g
GRUB Developers,
There appears to be a typo in the GRUB manual's Table of Contents at
https://www.gnu.org/software/grub/manual/grub/html_node/index.html. List
item 16.3.21 reads "linux", but this link actually goes to
https://www.gnu.org/software/grub/manual/grub/html_node/devicetree.html#devicetr
