Le 30/01/2018 à 17:33, Thomas Schmitt a écrit : >> I will try to test it tonight on the affected machine and let you know. > I am curious what will happen.
It boots into grub properly. ॐ -- Michel Bouissou <mic...@bouissou.net> OpenPGP ID 0xEB04D09C _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
