Processed: Re: Bug#931917: grub-installer: call efibootmgr (if available) to keep track of boot order/options

To: Cyril Brulebois <kibi@debian.org>
Cc: debian-boot@lists.debian.org
Subject: Processed: Re: Bug#931917: grub-installer: call efibootmgr (if available) to keep track of boot order/options
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 13 Jul 2019 07:30:05 +0000
Message-id: <[🔎] handler.s.B931917.156300265015610.transcript@bugs.debian.org>
References: <[🔎] 20190713072406.dgvbyntvewtus5ts@mraw.org> <[🔎] 156292218699.24475.4005085297261233658.reportbug@armor.home>

Processing control commands:

> tag -1 patch
Bug #931917 [grub-installer] grub-installer: call efibootmgr (if available) to keep track of boot order/options
Added tag(s) patch.

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

Reply to:

References:
- Bug#931917: grub-installer: call efibootmgr (if available) to keep track of boot order/options
  - From: Cyril Brulebois <kibi@debian.org>
- Bug#931917: grub-installer: call efibootmgr (if available) to keep track of boot order/options
  - From: Cyril Brulebois <kibi@debian.org>

Prev by Date: Bug#931917: grub-installer: call efibootmgr (if available) to keep track of boot order/options
Next by Date: Processed: tagging 696658
Previous by thread: Bug#931917: grub-installer: call efibootmgr (if available) to keep track of boot order/options
Next by thread: Bug#851774: marked as done (Stop using apt-key add to add keys in generators/60local)
Index(es):
- Date
- Thread