Merge pull request #131 from olerem/gcc-2017.06.25
authorAdrian Chadd <adrian.chadd@gmail.com>
Sun, 25 Jun 2017 18:55:59 +0000 (11:55 -0700)
committerGitHub <noreply@github.com>
Sun, 25 Jun 2017 18:55:59 +0000 (11:55 -0700)
Gcc 2017.06.25


Trivial merge