[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
Re: need hostname on menu, Didier Spaier, 2021/01/24