Processed: multiboot friendly /boot/efi/EFI/debian/grub.cfg update

Debian Bug Tracking System owner at bugs.debian.org
Fri Aug 19 21:27:03 BST 2022


Processing control commands:

> tags -1 patch
Bug #1017750 [grub-efi-amd64] multiboot friendly /boot/efi/EFI/debian/grub.cfg update
Added tag(s) patch.

-- 
1017750: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017750
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Pkg-grub-devel mailing list