Grub website issues

[Samuel Thibault]

Hello,

There are a few issues on the grub website on
https://www.gnu.org/software/grub/grub-development.html

The page says it is maintained by Bruce Dubbs <address@hidden>
but he told me he doesn't have access to the site any more.

The page tells to subscribe to the developers' mailing list, but doesn't
provide an actually link to do so, only the list mail address itself, it
should point to https://lists.gnu.org/mailman/listinfo/grub-devel
instead.

The "Bug Reports" link on the left
(https://www.gnu.org/software/grub/grub-bugs.html) currently leads to an
empty page.

Samuel