Merge pull request #12918 from neheb/devo
authorRosen Penev <redacted>
Fri, 24 Jul 2020 23:44:18 +0000 (16:44 -0700)
committerGitHub <redacted>
Fri, 24 Jul 2020 23:44:18 +0000 (16:44 -0700)
device-observatory: fix compilation with newer libmicrohttpd


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