Processed: Re: Bug#1035096: GRUB not installed or installed to the wrong device

To: Pascal Hambourg <pascal@plouf.fr.eu.org>
Cc: debian-boot@lists.debian.org
Subject: Processed: Re: Bug#1035096: GRUB not installed or installed to the wrong device
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 27 May 2023 12:57:06 +0000
Message-id: <[🔎] handler.s.B1035096.16851919521386115.transcript@bugs.debian.org>
References: <[🔎] eb15e622-2ebe-c15e-bc02-fac890fed409@plouf.fr.eu.org> <7649ba1c-409d-408f-2f3c-8111e6ce563e@sdi-baja.com>

Processing control commands:

> tags -1 patch
Bug #1035096 [grub-installer] GRUB not installed or installed to the wrong device
Added tag(s) patch.

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

Reply to:

References:
- Bug#1035096: GRUB not installed or installed to the wrong device
  - From: Pascal Hambourg <pascal@plouf.fr.eu.org>

Prev by Date: Bug#1035096: GRUB not installed or installed to the wrong device
Next by Date: Bug#1035096: GRUB not installed or installed to the wrong device
Previous by thread: Bug#1035096: GRUB not installed or installed to the wrong device
Next by thread: Bug#1035096: GRUB not installed or installed to the wrong device
Index(es):
- Date
- Thread