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)
commit96292572fa9ea1f1f7a25d48f1cc4180b0e5fd77
treeb9afbae30e3bea003eb6d2ca3412a67f9cd9ce93
parente11dae7034ffe9bf6f27e34243828adef87fb106
parent9f98411089d02d248a384b5d72bf03e478f4d740
Merge pull request #12789 from neheb/mg

mg: update to 6.7