Merge pull request #13510 from zhoreeq/bump_0_3_15
authorRosen Penev <redacted>
Wed, 7 Oct 2020 09:53:30 +0000 (02:53 -0700)
committerGitHub <redacted>
Wed, 7 Oct 2020 09:53:30 +0000 (02:53 -0700)
yggdrasil: bump to 0.3.15


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