Processed: reassign 1142645 to grub-efi-amd64, reassign 1142639 to grub-efi-amd64 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 1142645 grub-efi-amd64 2.14-3
Bug #1142645 [grub-efi-amd64 (or grub2)] grub-efi-amd64 2.14-3: “error: cannot load image” on HP ZBook,17 G5, system boots again with older GRUB EFI binary
Warning: Unknown package 'or'
Bug reassigned from package 'grub-efi-amd64 (or grub2)' to 'grub-efi-amd64'.
No longer marked as found in versions 2.14-3.
Ignoring request to alter fixed versions of bug #1142645 to the same values previously set
Bug #1142645 [grub-efi-amd64] grub-efi-amd64 2.14-3: “error: cannot load image” on HP ZBook,17 G5, system boots again with older GRUB EFI binary
Marked as found in versions grub2/2.14-3.
> reassign 1142639 grub-efi-amd64 2.14-3
Bug #1142639 [grub-efi-amd64 (or grub2) version: 2.14-3 severity: important] grub-efi-amd64 2.14-3: “error: cannot load image” on HP ZBook,17 G5, system boots again with older GRUB EFI binary
Warning: Unknown package 'or'
Warning: Unknown package 'version:'
Warning: Unknown package '2.14-3'
Warning: Unknown package 'severity:'
Warning: Unknown package 'important'
Bug reassigned from package 'grub-efi-amd64 (or grub2) version: 2.14-3 severity: important' to 'grub-efi-amd64'.
Ignoring request to alter found versions of bug #1142639 to the same values previously set
Ignoring request to alter fixed versions of bug #1142639 to the same values previously set
Bug #1142639 [grub-efi-amd64] grub-efi-amd64 2.14-3: “error: cannot load image” on HP ZBook,17 G5, system boots again with older GRUB EFI binary
Marked as found in versions grub2/2.14-3.
> forcemerge 1142645  1142639
Bug #1142645 [grub-efi-amd64] grub-efi-amd64 2.14-3: “error: cannot load image” on HP ZBook,17 G5, system boots again with older GRUB EFI binary
Bug #1142639 [grub-efi-amd64] grub-efi-amd64 2.14-3: “error: cannot load image” on HP ZBook,17 G5, system boots again with older GRUB EFI binary
Severity set to 'important' from 'normal'
Merged 1142639 1142645
> thanks
Stopping processing here.

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