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)
commitf40b0033e66e9a3b54bb154aef611e4d3ea1f34a
treec7c1f028bba1c4e36d3e2beeb066678044c70102
parent4eee99e73def59c35d3c67af334c33f2e9998ff5
parent77a13122624740745346017e6236e154636dc496
Merge pull request #8068 from mwarning/change_dependency

device-observatory: Specify libmicrohttpd dependency
git clone https://git.99rst.org/PROJECT