Processed: Re: Bug#865417: efibootmgr: grub-install dummy failed in Stretch installation

To: Ivo De Decker <ivodd@debian.org>
Cc: debian-efi@lists.debian.org
Subject: Processed: Re: Bug#865417: efibootmgr: grub-install dummy failed in Stretch installation
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 25 Aug 2018 11:24:03 +0000
Message-id: <[🔎] handler.s.B865417.153519607132572.transcript@bugs.debian.org>
References: <[🔎] 20180825111459.wmprkdra3gjxv5dp@ugent.be> <20170621095531.7829.3615.reportbug@ws>

Processing control commands:

> severity -1 important
Bug #865417 [efibootmgr] efibootmgr: grub-install dummy failed in Stretch installation
Severity set to 'important' from 'critical'

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

Reply to:

References:
- Bug#865417: efibootmgr: grub-install dummy failed in Stretch installation
  - From: Ivo De Decker <ivodd@debian.org>

Prev by Date: Bug#906599: fwupd-*-signed-template: template generates empty binary packages
Next by Date: Bug#865417: efibootmgr: grub-install dummy failed in Stretch installation
Previous by thread: Bug#865417: efibootmgr: grub-install dummy failed in Stretch installation
Next by thread: Bug#896148: marked as done (fwupd: Please add ia64, riscv64 and x32 to the ports without valgrind)
Index(es):
- Date
- Thread