Subject: Re: [bug#64667] [PATCH 1/1] gnu: Add grub-coreboot
From: Vagrant Cascadian <[email-masked]>
To: Denis 'GNUtoo' Carikli <[email-masked]>
Cc: Efraim Flashner <[email-masked]>, [email-masked]
Date: Fri, 24 Nov 2023 13:42:28 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

On 2023-11-23, Denis 'GNUtoo' Carikli wrote:
> On Fri, 15 Sep 2023 16:31:59 +0200
> Denis 'GNUtoo' Carikli <[email-masked]> wrote:
>> I'll send a v2.
> That is now done.
>
> Ping.

Never received the patch; it was only sent to the bug tracking system,
not the team members.

Pushed now as:

4b6f6b3e180afc5d1b286130710dd9e3eb6c2889 gnu: Add grub-coreboot

live well,
  vagrant