Processed (with 4 errors): Reassigning grub EFI fallback bugs, merging with others

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 767037 grub-efi
Bug #767037 [installation-reports] installation-reports: jessie on HP EliteBook 820
Bug reassigned from package 'installation-reports' to 'grub-efi'.
Ignoring request to alter found versions of bug #767037 to the same values previously set
Ignoring request to alter fixed versions of bug #767037 to the same values previously set
> reassign 746662 grub-efi
Bug #746662 [debian-installer] add install-time option to place grub-efi in removable media path
Bug reassigned from package 'debian-installer' to 'grub-efi'.
No longer marked as found in versions debian-installer/20140316.
Ignoring request to alter fixed versions of bug #746662 to the same values previously set
> reassign 708430 grub-efi
Bug #708430 [grub-efi-amd64] EFI bug: Copy debian/grubx64.efi to Boot/bootx64.efi during install
Bug reassigned from package 'grub-efi-amd64' to 'grub-efi'.
No longer marked as found in versions grub2/2.00-18, grub2/2.00-20, grub2/2.00-17, grub2/1.99-27+deb7u1, 2.000-15, grub2/2.00-21, and grub2/2.00-15.
Ignoring request to alter fixed versions of bug #708430 to the same values previously set
> forcemerge 767037 746662 708430
Bug #767037 [grub-efi] installation-reports: jessie on HP EliteBook 820
Bug #746662 [grub-efi] add install-time option to place grub-efi in removable media path
Severity set to 'normal' from 'wishlist'
Bug #708430 [grub-efi] EFI bug: Copy debian/grubx64.efi to Boot/bootx64.efi during install
Severity set to 'normal' from 'important'
Merged 708430 746662 767037
> retitle 767037 grub-efi: add install-time option to place grub-efi in removable media path
Bug #767037 [grub-efi] installation-reports: jessie on HP EliteBook 820
Bug #708430 [grub-efi] EFI bug: Copy debian/grubx64.efi to Boot/bootx64.efi during install
Bug #746662 [grub-efi] add install-time option to place grub-efi in removable media path
Changed Bug title to 'grub-efi: add install-time option to place grub-efi in removable media path' from 'installation-reports: jessie on HP EliteBook 820'
Changed Bug title to 'grub-efi: add install-time option to place grub-efi in removable media path' from 'EFI bug: Copy debian/grubx64.efi to Boot/bootx64.efi during install'
Changed Bug title to 'grub-efi: add install-time option to place grub-efi in removable media path' from 'add install-time option to place grub-efi in removable media path'
> clone 767037 -1
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
Failed to clone 767037: Bug is marked as being merged with others. Use an existing clone.

> reassign -1 grub-installer
Failed to clear fixed versions and reopen on -1: The 'bug' parameter ("-1") to Debbugs::Control::set_package did not pass regex check


> retitle -1 grub-installer: add install-time option to place grub-efi in removable media path
Failed to set the title of -1: The 'bug' parameter ("-1") to Debbugs::Control::set_title did not pass regex check


> block -1 by 767037
Failed to set blocking bugs of -1: The 'bug' parameter ("-1") to Debbugs::Control::set_blocks did not pass regex check


> 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