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.