Processed: Re: ambigous highlighting if background picture is enabled

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # grub2 is a dummy transitional package nowadays
> reassign 461851 grub-pc
Bug #461851 [grub2] ambigous highlighting if background picture is enabled
Bug reassigned from package 'grub2' to 'grub-pc'.
Bug No longer marked as found in versions grub2/1.95+20080116-2.
> # see below
> forcemerge 608283 461851
Bug#608283: Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug#461851: ambigous highlighting if background picture is enabled
Bug#495282: Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug#495616: Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug#500134: Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug#610273: grub-pc: 05_debian_theme ignores COLOR_NORMAL and COLOR_HIGHLIGHT
Forcibly Merged 461851 495282 495616 500134 608283 610273.

> # re-set title destroyed by the merging
> retitle 608283 Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug #608283 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug #461851 [grub-pc] ambigous highlighting if background picture is enabled
Bug #495282 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug #495616 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug #500134 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug #610273 [grub-pc] grub-pc: 05_debian_theme ignores COLOR_NORMAL and COLOR_HIGHLIGHT
Ignoring request to change the title of bug#608283 to the same title
Changed Bug title to 'Please allow setting custom text colors for the GRUB menu in /etc/default/grub' from 'ambigous highlighting if background picture is enabled'
Ignoring request to change the title of bug#495282 to the same title
Ignoring request to change the title of bug#495616 to the same title
Ignoring request to change the title of bug#500134 to the same title
Changed Bug title to 'Please allow setting custom text colors for the GRUB menu in /etc/default/grub' from 'grub-pc: 05_debian_theme ignores COLOR_NORMAL and COLOR_HIGHLIGHT'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
608283: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=608283
461851: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=461851
495282: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495282
610273: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=610273
500134: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=500134
495616: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495616
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems