Processed: merging 1051832 1106156

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> merge 1051832 1106156
Bug #1051832 [grub-efi-amd64] grub-efi-amd64: grub menu not shown on boot after upgrade to 2.12~rc1-9
Bug #1051832 [grub-efi-amd64] grub-efi-amd64: grub menu not shown on boot after upgrade to 2.12~rc1-9
Marked as found in versions grub2/2.12-7.
Bug #1106156 [grub-efi-amd64] grub-efi-amd64: GRUB v2.12-7 doesn't show menu in graphical mode
Marked as found in versions grub2/2.12~rc1-9 and grub2/2.12-5.
Merged 1051832 1106156
> thanks
Stopping processing here.

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