Merge pull request #9748 from wfleurant/ygg-builder-hotfix
authorRosen Penev <rosenp@gmail.com>
Sat, 17 Aug 2019 19:13:30 +0000 (12:13 -0700)
committerGitHub <noreply@github.com>
Sat, 17 Aug 2019 19:13:30 +0000 (12:13 -0700)
yggdrasil: fix #9712 upstream dependency with branch develop


Trivial merge