Processing control commands: > severity 767037 serious Bug #767037 [grub-efi] grub-efi: add install-time option to place grub-efi in removable media path Bug #708430 [grub-efi] grub-efi: add install-time option to place grub-efi in removable media path Bug #746662 [grub-efi] grub-efi: add install-time option to place grub-efi in removable media path Severity set to 'serious' from 'normal' Severity set to 'serious' from 'normal' Severity set to 'serious' from 'normal' > tag 767037 +patch Bug #767037 [grub-efi] grub-efi: add install-time option to place grub-efi in removable media path Bug #708430 [grub-efi] grub-efi: add install-time option to place grub-efi in removable media path Bug #746662 [grub-efi] grub-efi: add install-time option to place grub-efi in removable media path Added tag(s) patch. Added tag(s) patch. Added tag(s) patch.
-- 708430: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=708430 746662: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=746662 767037: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=767037 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
