Package: guix;
Reported by: Brendan Tildesley <mail <at> brendan.scot>
Date: Fri, 16 Oct 2020 08:04:01 UTC
Severity: normal
Found in version 1.2
Done: Miguel Ángel Arruga Vivas <rosen644835 <at> gmail.com>
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: Miguel Ángel Arruga Vivas <rosen644835 <at> gmail.com> To: Brett Gilio <brettg <at> gnu.org> Cc: othacehe <at> gnu.org, Ludovic Courtès <ludo <at> gnu.org>, Brendan Tildesley <mail <at> brendan.scot>, 44027 <at> debbugs.gnu.org Subject: bug#44027: [PATCH] installer: Create bios_grub partition when it is needed. Date: Sat, 17 Oct 2020 15:09:27 +0200
[Message part 1 (text/plain, inline)]
[0001-installer-Create-bios_grub-partition-when-it-is-need.patch (text/x-patch, attachment)]
[signature.asc (application/pgp-signature, inline)]
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.