Processing commands for cont...@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 ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
https://lists.debian.org/handler.s.c.141644822017623.transcr...@bugs.debian.org
