Processed: #612417 has been patched and forwarded to grub-devel at gnu.org
Debian Bug Tracking System
owner at bugs.debian.org
Tue Feb 8 13:09:11 UTC 2011
Processing commands for control at bugs.debian.org:
> tags 612417 patch
Bug #612417 [grub-pc] GRUB doesn't accept background images with whitespace in filename
Added tag(s) patch.
> forwarded 612417 grub-devel at gnu.org
Bug #612417 [grub-pc] GRUB doesn't accept background images with whitespace in filename
Set Bug forwarded-to-address to 'grub-devel at gnu.org'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
612417: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=612417
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the Pkg-grub-devel
mailing list