Processed (with 1 errors): forcibly merging 746662 767037 708430

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 746662 767037 708430
Bug #746662 [debian-installer] add install-time option to place grub-efi in removable media path
Unable to merge bugs because:
package of #767037 is 'installation-reports' not 'debian-installer'
package of #708430 is 'grub-efi-amd64' not 'debian-installer'
Failed to forcibly merge 746662: Did not alter merged bugs

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
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