Merge pull request #8068 from mwarning/change_dependency
authorHannu Nyman <redacted>
Tue, 29 Jan 2019 20:11:29 +0000 (22:11 +0200)
committerGitHub <redacted>
Tue, 29 Jan 2019 20:11:29 +0000 (22:11 +0200)
device-observatory: Specify libmicrohttpd dependency


Trivial merge
git clone https://git.99rst.org/PROJECT