Processed: Grub EFI fallback - patches for review

[Debian Bug Tracking System]

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 owner at bugs.debian.org with problems