Bug#767037: marked as done (grub-efi: add install-time option to place grub-efi in removable media path)

Sat Jan 17 11:27:16 UTC 2015

Your message dated Sat, 17 Jan 2015 11:22:23 +0000
with message-id <20150117112223.GB4130 at einval.com>
and subject line Bug already fixed, update BTS
has caused the Debian Bug report #708430,
regarding grub-efi: add install-time option to place grub-efi in removable media path
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)

-- 
708430: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=708430
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Claire David <claire.david at orkys.net>
Subject: installation-reports: jessie on HP EliteBook 820
Date: Mon, 27 Oct 2014 23:01:16 +0100
Size: 260872
URL: <http://lists.alioth.debian.org/pipermail/pkg-grub-devel/attachments/20150117/7d58df75/attachment-0002.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Steve McIntyre <steve at einval.com>
Subject: Bug already fixed, update BTS
Date: Sat, 17 Jan 2015 11:22:23 +0000
Size: 1906
URL: <http://lists.alioth.debian.org/pipermail/pkg-grub-devel/attachments/20150117/7d58df75/attachment-0003.mht>