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


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