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


Trivial merge