-- Bruce
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
At the request of the GNU Webmasters, I've renamed all the pages for the
web site from filename.en.html to just filename.html and adjusted all
the links at http://www.gnu.org/software/grub/. If I missed anything or
a page needs an update, please let me know.
