Processed: Re: grub-pc: 05_debian_theme ignores COLOR_NORMAL and COLOR_HIGHLIGHT

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 608283 610273
Bug#608283: 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
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
Forcibly Merged 495282 495616 500134 608283 610273.

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
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
608283: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=608283
495616: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495616
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems