[patch] rename /boot/EFI/efi as /boot/EFI/EFI if needed
0001-install_raw_grub2-rename-boot-efi-as-boot-EFI.patch (text/plain), 1.17 KB, created by Thierry Vignaud on 2020-03-23 18:20:01 CET
(hide)
 
Creator: Thierry Vignaud
Created: 2020-03-23 18:20:01 CET
Size: 1.17 KB
Actions: View | Diff
Attachments on bug 22395: 9914 | 11565