Merge pull request #9780 from wfleurant/ygg-bump-0-3-7
authorRosen Penev <redacted>
Tue, 20 Aug 2019 16:36:24 +0000 (09:36 -0700)
committerGitHub <redacted>
Tue, 20 Aug 2019 16:36:24 +0000 (09:36 -0700)
yggdrasil: bump to 0.3.7


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