Merge pull request #10632 from wfleurant/ygg-bump-0-3-12
authorRosen Penev <redacted>
Mon, 25 Nov 2019 00:55:17 +0000 (16:55 -0800)
committerGitHub <redacted>
Mon, 25 Nov 2019 00:55:17 +0000 (16:55 -0800)
yggdrasil: bump to 0.3.12


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