Processed: #612417 has been patched and forwarded to grub-devel at gnu.org

[Debian Bug Tracking System]

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