grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] If $hints is not set, we can reduce the output into grub.cfg


From: Florian La Roche
Subject: Re: [PATCH] If $hints is not set, we can reduce the output into grub.cfg from 5 lines to just 1 line.
Date: Thu, 17 Sep 2020 16:16:46 +0200

Hello grub-devel people and Daniel Kiper,

Am Do., 17. Sept. 2020 um 16:04 Uhr schrieb Daniel Kiper <dkiper@net-space.pl>:
>
> On Tue, Sep 01, 2020 at 07:13:20AM +0200, Florian La Roche via Grub-devel 
> wrote:
>
> Missing SOB as previously... I can add it on your behalf if you are OK
> with it. Otherwise Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>

Yes, please add. (Next time I'll make sure to send this in complete form.)

best regards,

Florian La Roche



reply via email to

[Prev in Thread] Current Thread [Next in Thread]