Subject: Re: [bug#64667] [PATCH 1/1] gnu: Add grub-coreboot

From: Vagrant Cascadian <[email-masked]>
Date: Fri, 24 Nov 2023 13:42:28 -0800

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