Processed: Re: Bug#788532: grub-efi-ia32-bin should be shipped on install DVD

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 debian-cd
Bug #788532 [grub-efi-ia32-bin] grub-efi-ia32-bin should be shipped on install DVD
Bug reassigned from package 'grub-efi-ia32-bin' to 'debian-cd'.
No longer marked as found in versions grub2/2.02~beta2-22.
Ignoring request to alter fixed versions of bug #788532 to the same values previously set

-- 
788532: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=788532
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems