Comment 22 for bug 1865515

Revision history for this message
Julian Andres Klode (juliank) wrote :

The grubx64.efi from #3 is probably a grubnetx64.efi?