I realized that my message should have better been sent to help-grub instead of grub-devel, so feel free to ignore.
With apologies, François Tonneau
_______________________________________________ Grub-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
