Processed: Re: Grub EFI fallback - patches for review

[Debian Bug Tracking System]

Processing control commands:

> tag -1 +pending
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) pending.
Added tag(s) pending.
Added tag(s) pending.

-- 
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