Processed: Re: grub-efi-amd64: UEFI boot option removed after update to grub2 2.02~beta3-5+deb9u1

[Debian Bug Tracking System]

Processing control commands:

> found -1 2.04-19
Bug #913916 [grub-efi-amd64] grub-efi-amd64: UEFI boot option removed after update to grub2 2.02~beta3-5+deb9u1
Marked as found in versions grub2/2.04-19.

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