grub-devel
[Top][All Lists]
Advanced

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

Re: need hostname on menu


From: John Paul Adrian Glaubitz
Subject: Re: need hostname on menu
Date: Sun, 24 Jan 2021 12:38:49 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.6.1

On 1/24/21 12:26 PM, Humphrey van Polanen Petel wrote:
> Okay, I get it.
> 
> I defer to your decision.

I did not make any decisions as I'm not in charge of GRUB, I'm just a
contributing developer.

I merely stated my opinion and pointed out some problems with your
suggestion.

Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaubitz@debian.org
`. `'   Freie Universitaet Berlin - glaubitz@physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913




reply via email to

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