Merge pull request #9418 from noblepepper/gcc-7.4.0
authorRosen Penev <rosenp@gmail.com>
Mon, 8 Jul 2019 19:30:23 +0000 (12:30 -0700)
committerGitHub <noreply@github.com>
Mon, 8 Jul 2019 19:30:23 +0000 (12:30 -0700)
Bump gcc to version 7.4.0, Add config options


Trivial merge