Merge pull request #8075 from diizzyy/patch-5
authorHannu Nyman <redacted>
Wed, 30 Jan 2019 20:36:26 +0000 (22:36 +0200)
committerGitHub <redacted>
Wed, 30 Jan 2019 20:36:26 +0000 (22:36 +0200)
libs/libmicrohttpd: Fix for install sections


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