Processed: Re: Bug#931910: Installation report with missing UEFI boot entry

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing control commands:

> reassign -1 efibootmgr
Bug #931910 [installation-reports] Installation report with missing UEFI boot entry
Bug reassigned from package 'installation-reports' to 'efibootmgr'.
Ignoring request to alter found versions of bug #931910 to the same values previously set
Ignoring request to alter fixed versions of bug #931910 to the same values previously set
> forcemerge -1 905319
Bug #931910 [efibootmgr] Installation report with missing UEFI boot entry
Bug #931910 [efibootmgr] Installation report with missing UEFI boot entry
Marked as found in versions efibootmgr/15-1.
Bug #905319 [efibootmgr] /bin/efibootmgr: Unable to boot after executing grub-install in XPS 15 9550
Severity set to 'normal' from 'important'
Merged 905319 931910

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