Merge pull request #10038 from tiagogaspar8/kea-fix
authorRosen Penev <rosenp@gmail.com>
Tue, 8 Oct 2019 04:20:55 +0000 (21:20 -0700)
committerGitHub <noreply@github.com>
Tue, 8 Oct 2019 04:20:55 +0000 (21:20 -0700)
kea: fix makefile and dependencies


Trivial merge