Processed: Re: Bug#925309: Wrong prefix directory hardcoded in signed GRUB image

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 grub-efi-amd64-bin
Bug #925309 [grub-efi-amd64-signed] Wrong prefix directory hardcoded in signed GRUB image
Bug reassigned from package 'grub-efi-amd64-signed' to 'grub-efi-amd64-bin'.
No longer marked as found in versions grub-efi-amd64-signed/1+2.02+dfsg1+13.
Ignoring request to alter fixed versions of bug #925309 to the same values previously set
> tags -1 patch
Bug #925309 [grub-efi-amd64-bin] Wrong prefix directory hardcoded in signed GRUB image
Added tag(s) patch.

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