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

To: Ian Campbell <ijc@debian.org>
Cc: debian-cd@lists.debian.org, pkg-grub-devel@lists.alioth.debian.org
Subject: Processed: Re: Bug#788532: grub-efi-ia32-bin should be shipped on install DVD
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 12 Jun 2015 16:30:17 +0000
Message-id: <[🔎] handler.s.B788532.143412652415046.transcript@bugs.debian.org>
References: <[🔎] 1434126517.30003.230.camel@debian.org> <20150612131736.5480.54654.reportbug@taki>

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@bugs.debian.org with problems

Reply to:

References:
- Re: Bug#788532: grub-efi-ia32-bin should be shipped on install DVD
  - From: Ian Campbell <ijc@debian.org>

Prev by Date: Re: Bug#788532: grub-efi-ia32-bin should be shipped on install DVD
Next by Date: Re: Bug#788532: grub-efi-ia32-bin should be shipped on install DVD
Previous by thread: Re: Bug#788532: grub-efi-ia32-bin should be shipped on install DVD
Next by thread: Re: Bug#788532: grub-efi-ia32-bin should be shipped on install DVD
Index(es):
- Date
- Thread