Merge pull request #479 from neheb/master
authorJo-Philipp Wich <jo@mein.io>
Wed, 26 Jun 2019 17:02:51 +0000 (19:02 +0200)
committerGitHub <noreply@github.com>
Wed, 26 Jun 2019 17:02:51 +0000 (19:02 +0200)
Build fixes


Trivial merge