Package: guix-patches;
Reported by: Brice Waegeneire <brice <at> waegenei.re>
Date: Thu, 12 Dec 2019 19:54:03 UTC
Severity: normal
Tags: patch
Merged with 38580
Done: Danny Milosavljevic <dannym <at> scratchpost.org>
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: help-debbugs <at> gnu.org (GNU bug Tracking System) To: Brice Waegeneire <brice <at> waegenei.re> Subject: bug#38581: Acknowledgement ([PATCH 1/1] bootloader: grub: Add firmware setup entry) Date: Thu, 12 Dec 2019 19:54:03 +0000
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.