Merge pull request #11 from dcbw/dhcp-pidfile
authorGabe Rosenhouse <rosenhouse@users.noreply.github.com>
Fri, 16 Jun 2017 05:48:42 +0000 (22:48 -0700)
committerGitHub <noreply@github.com>
Fri, 16 Jun 2017 05:48:42 +0000 (22:48 -0700)
dhcp: add --pidfile option to DHCP client daemon


Trivial merge