Processed: Re: Bug#1108089: grub-efi-amd64, linux-image-amd64: system fails to boot because grub config not updated after latest kernel upgrade

[Debian Bug Tracking System]

Processing control commands:

> reopen -1
Bug #1108089 {Done: Bastian Blank <waldi at debian.org>} [grub-efi-amd64,linux-image-amd64] grub-efi-amd64,linux-image-amd64: system fails to boot because grub config not updated after latest kernel upgrade
Bug reopened
Ignoring request to alter fixed versions of bug #1108089 to the same values previously set

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