Processed: #612417 is not completely fixed

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forwarded 612417 https://lists.gnu.org/archive/html/grub-devel/2011-05/msg00049.html
Bug #612417 {Done: Colin Watson <cjwatson at debian.org>} [grub-pc] GRUB doesn't accept background images with whitespace in filename
Changed Bug forwarded-to-address to 'https://lists.gnu.org/archive/html/grub-devel/2011-05/msg00049.html' from 'http://lists.gnu.org/archive/html/grub-devel/2011-04/msg00024.html'
> reopen 612417
Bug #612417 {Done: Colin Watson <cjwatson at debian.org>} [grub-pc] GRUB doesn't accept background images with whitespace in filename
'reopen' may be inappropriate when a bug has been closed with a version;
you may need to use 'found' to remove fixed versions.
> notfixed 612417 1.99-2
Bug #612417 [grub-pc] GRUB doesn't accept background images with whitespace in filename
Ignoring request to alter fixed versions of bug #612417 to the same values previously set
> reassign 612417 grub-common
Bug #612417 [grub-pc] GRUB doesn't accept background images with whitespace in filename
Bug reassigned from package 'grub-pc' to 'grub-common'.
Bug No longer marked as found in versions grub2/1.99~rc1-1.
> found 612417 1.99-4
Bug #612417 [grub-common] GRUB doesn't accept background images with whitespace in filename
Bug Marked as found in versions grub2/1.99-4.
> 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