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 ow...@bugs.debian.org with problems
