Processed: Several improvements to /etc/grub.d/05_debian_theme

Tue May 24 07:21:24 UTC 2011

Processing commands for control at bugs.debian.org:

> forcemerge 608283 608519
Bug#608283: Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug#608519: grub-pc: 05_debian_theme assumes background image was copied from an installed desktop-base
Bug#461851: Please allow setting custom text colors for the GRUB menu in /etc/default/grub
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: Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Forcibly Merged 461851 495282 495616 500134 608283 608519 610273.

> severity 608283 normal
Bug #608283 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug #461851 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
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 #608519 [grub-pc] grub-pc: 05_debian_theme assumes background image was copied from an installed desktop-base
Bug #610273 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Ignoring request to change severity of Bug 608283 to the same value.
Ignoring request to change severity of Bug 461851 to the same value.
Ignoring request to change severity of Bug 495282 to the same value.
Ignoring request to change severity of Bug 495616 to the same value.
Ignoring request to change severity of Bug 500134 to the same value.
Ignoring request to change severity of Bug 608519 to the same value.
Ignoring request to change severity of Bug 610273 to the same value.
> tags 608283 - patch
Bug #608283 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug #461851 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
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 #608519 [grub-pc] grub-pc: 05_debian_theme assumes background image was copied from an installed desktop-base
Bug #610273 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Removed tag(s) patch.
Removed tag(s) patch.
Removed tag(s) patch.
Removed tag(s) patch.
Removed tag(s) patch.
Removed tag(s) patch.
Removed tag(s) patch.
> retitle 608283 Several improvements to /etc/grub.d/05_debian_theme
Bug #608283 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Bug #461851 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
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 #608519 [grub-pc] grub-pc: 05_debian_theme assumes background image was copied from an installed desktop-base
Bug #610273 [grub-pc] Please allow setting custom text colors for the GRUB menu in /etc/default/grub
Changed Bug title to 'Several improvements to /etc/grub.d/05_debian_theme' from 'Please allow setting custom text colors for the GRUB menu in /etc/default/grub'
Changed Bug title to 'Several improvements to /etc/grub.d/05_debian_theme' from 'Please allow setting custom text colors for the GRUB menu in /etc/default/grub'
Changed Bug title to 'Several improvements to /etc/grub.d/05_debian_theme' from 'Please allow setting custom text colors for the GRUB menu in /etc/default/grub'
Changed Bug title to 'Several improvements to /etc/grub.d/05_debian_theme' from 'Please allow setting custom text colors for the GRUB menu in /etc/default/grub'
Changed Bug title to 'Several improvements to /etc/grub.d/05_debian_theme' from 'Please allow setting custom text colors for the GRUB menu in /etc/default/grub'
Changed Bug title to 'Several improvements to /etc/grub.d/05_debian_theme' from 'grub-pc: 05_debian_theme assumes background image was copied from an installed desktop-base'
Changed Bug title to 'Several improvements to /etc/grub.d/05_debian_theme' from 'Please allow setting custom text colors for the GRUB menu in /etc/default/grub'
> reassign 608283 grub-common
Bug #608283 [grub-pc] Several improvements to /etc/grub.d/05_debian_theme
Bug #461851 [grub-pc] Several improvements to /etc/grub.d/05_debian_theme
Bug #495282 [grub-pc] Several improvements to /etc/grub.d/05_debian_theme
Bug #495616 [grub-pc] Several improvements to /etc/grub.d/05_debian_theme
Bug #500134 [grub-pc] Several improvements to /etc/grub.d/05_debian_theme
Bug #608519 [grub-pc] Several improvements to /etc/grub.d/05_debian_theme
Bug #610273 [grub-pc] Several improvements to /etc/grub.d/05_debian_theme
Bug reassigned from package 'grub-pc' to 'grub-common'.
Bug reassigned from package 'grub-pc' to 'grub-common'.
Bug reassigned from package 'grub-pc' to 'grub-common'.
Bug reassigned from package 'grub-pc' to 'grub-common'.
Bug reassigned from package 'grub-pc' to 'grub-common'.
Bug reassigned from package 'grub-pc' to 'grub-common'.
Bug reassigned from package 'grub-pc' to 'grub-common'.
Bug No longer marked as found in versions grub2/1.98+20100804-11, grub2/1.98+20100804-13, grub2/1.96+20080724-7, and grub2/1.96+20080724-10.
Bug No longer marked as found in versions grub2/1.98+20100804-11, grub2/1.98+20100804-13, grub2/1.96+20080724-7, and grub2/1.96+20080724-10.
Bug No longer marked as found in versions grub2/1.98+20100804-11, grub2/1.98+20100804-13, grub2/1.96+20080724-7, and grub2/1.96+20080724-10.
Bug No longer marked as found in versions grub2/1.98+20100804-11, grub2/1.98+20100804-13, grub2/1.96+20080724-7, and grub2/1.96+20080724-10.
Bug No longer marked as found in versions grub2/1.98+20100804-11, grub2/1.98+20100804-13, grub2/1.96+20080724-7, and grub2/1.96+20080724-10.
Bug No longer marked as found in versions grub2/1.98+20100804-11, grub2/1.98+20100804-13, grub2/1.96+20080724-7, and grub2/1.96+20080724-10.
Bug No longer marked as found in versions grub2/1.98+20100804-11, grub2/1.98+20100804-13, grub2/1.96+20080724-7, and grub2/1.96+20080724-10.
> thanks
Stopping processing here.

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