Merge pull request #693 from JPeterMugaas/master
authorYann Collet <Cyan4973@users.noreply.github.com>
Tue, 23 Apr 2019 16:20:41 +0000 (09:20 -0700)
committerGitHub <noreply@github.com>
Tue, 23 Apr 2019 16:20:41 +0000 (09:20 -0700)
More build imrpvements


Trivial merge