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)
commit8038dc2bbc092ec70b45b2faa2cba966b00003a6
tree0420a0c655a114c41303ffc2cad25ecfd1cbabac
parentc06fd0eaef492ec3ce00af500b358771eb3b3293
parent07625bb6a7daf5af49a0a303ff42d426ebe43319
Merge pull request #9748 from wfleurant/ygg-builder-hotfix

yggdrasil: fix #9712 upstream dependency with branch develop