Processed: Re: /etc/grub.d/05_debian_theme: make changing splash image easier

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 608283 500134
Bug#608283: 05_debian_theme: Allow override of text color
Bug#500134: /etc/grub.d/05_debian_theme: make changing splash image easier
Bug#495282: grub-pc: desktop-grub usage instead of hardcoding background file name
Bug#495616: /etc/grub.d/05_debian_theme: Does not use the grub theme specified by desktop-base
Forcibly Merged 495282 495616 500134 608283.

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
495282: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495282
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