Merge pull request #8531 from poettering/dhcp-server-mini-fixes
authorLennart Poettering <lennart@poettering.net>
Thu, 22 Mar 2018 14:36:48 +0000 (15:36 +0100)
committerGitHub <noreply@github.com>
Thu, 22 Mar 2018 14:36:48 +0000 (15:36 +0100)
some minor tweaks to sd-dhcp-server


Trivial merge