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 ow...@bugs.debian.org with problems
