Package: guix-patches;
Reported by: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
Date: Mon, 9 May 2022 23:18:02 UTC
Severity: normal
Done: Mathieu Othacehe <othacehe <at> gnu.org>
Bug is archived. No further changes may be made.
Message #55 received at 55343-done <at> debbugs.gnu.org (full text, mbox):
From: Mathieu Othacehe <othacehe <at> gnu.org> To: Timothy Sample <samplet <at> ngyro.com> Cc: Ludovic Courtès <ludo <at> gnu.org>, Maxime Devos <maximedevos <at> telenet.be>, Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>, 55343-done <at> debbugs.gnu.org Subject: Re: bug#55343: Add support for 32bit UEFI Date: Fri, 24 Jun 2022 10:23:54 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.