Forwarded PRs: #12

Open
autogits-devel wants to merge 1 commits from PR_kea#11 into master

2
kea

Submodule kea updated: 562095dfa4...e9ef44663f