Processed (with 1 error): Merge 925309 1017887

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> merge 925309 1017887
Bug #925309 [grub-efi-amd64-signed] Wrong prefix directory hardcoded in signed GRUB image
Unable to merge bugs because:
severity of #1017887 is 'important' not 'normal'
package of #1017887 is 'grub-efi-amd64-bin' not 'grub-efi-amd64-signed'
Failed to merge 925309: Did not alter merged bugs.

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1017887: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017887
925309: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=925309
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems