Processed: Re: Bug#1013079: installation-reports: GUI install option isn't visible on boot

[Debian Bug Tracking System]

Processing control commands:

> retitle -1 [UEFI] debian-installer: bad choice for background color of highlighted menu entry
Bug #1013079 [installation-reports] installation-reports: GUI install option isn't visible on boot
Changed Bug title to '[UEFI] debian-installer: bad choice for background color of highlighted menu entry' from 'installation-reports: GUI install option isn't visible on boot'.
> reassign -1 grub2
Bug #1013079 [installation-reports] [UEFI] debian-installer: bad choice for background color of highlighted menu entry
Bug reassigned from package 'installation-reports' to 'grub2'.
Ignoring request to alter found versions of bug #1013079 to the same values previously set
Ignoring request to alter fixed versions of bug #1013079 to the same values previously set

-- 
1013079: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1013079
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems