On 7/20/2019 4:08 PM, Postel's law for the win wrote: > On Sat, Jul 20, 2019 at 03:38:48PM +0200, john doe wrote: >> Ping -- can anyone help me here? > > https://lists.debian.org/debian-boot/2019/07/msg00046.html says it is DHCP server. > Okay, I fail to understand how the above URL is relevent to my question. -- John Doe