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)
commita8ae1834888c4c47d2e940d7b7cc84b32e589ce3
tree3bfcf08bd6a0bf971d90903ce77e987557443352
parent5d9ccc4ad079ab4bada9cc3fde97c102a8376cc1
parente82e31badd1061f17ce335e23acb50ab1faad881
Merge pull request #12918 from neheb/devo

device-observatory: fix compilation with newer libmicrohttpd
git clone https://git.99rst.org/PROJECT