Merge pull request #12789 from neheb/mg
authorRosen Penev <redacted>
Mon, 13 Jul 2020 00:51:57 +0000 (17:51 -0700)
committerGitHub <redacted>
Mon, 13 Jul 2020 00:51:57 +0000 (17:51 -0700)
mg: update to 6.7


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