On 2023-11-23, Denis 'GNUtoo' Carikli wrote:
> On Fri, 15 Sep 2023 16:31:59 +0200
> Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> 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