Merge pull request #10523 from wfleurant/ygg-buildver-fix
authorRosen Penev <rosenp@gmail.com>
Wed, 13 Nov 2019 03:11:47 +0000 (19:11 -0800)
committerGitHub <noreply@github.com>
Wed, 13 Nov 2019 03:11:47 +0000 (19:11 -0800)
yggdrasil: fixes build name and version #10309


Trivial merge