Processed: Re: Bug#888515: debian-installer: UEFI boot menu (grub) misses the help screen
Processing control commands:
> clone -1 -2
Bug #888515 [debian-installer] debian-installer: UEFI boot menu (grub) misses the help screen
Bug 888515 cloned as bug 889643
> block -1 by -2
Bug #888515 [debian-installer] debian-installer: UEFI boot menu (grub) misses the help screen
888515 was not blocked by any bugs.
888515 was not blocking any bugs.
Added blocking bug(s) of 888515: 889643
> retitle -2 Add support for help screen
Bug #889643 [debian-installer] debian-installer: UEFI boot menu (grub) misses the help screen
Changed Bug title to 'Add support for help screen' from 'debian-installer: UEFI boot menu (grub) misses the help screen'.
> reassign -2 grub
Bug #889643 [debian-installer] Add support for help screen
Bug reassigned from package 'debian-installer' to 'grub'.
No longer marked as found in versions debian-installer/20171204.
Ignoring request to alter fixed versions of bug #889643 to the same values previously set
> forwarded -2 http://savannah.gnu.org/bugs/?53065
Bug #889643 [grub] Add support for help screen
Set Bug forwarded-to-address to 'http://savannah.gnu.org/bugs/?53065'.
--
888515: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888515
889643: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=889643
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: