Merge pull request #1706 from nico/master
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Thu, 21 Feb 2019 16:46:27 +0000 (23:46 +0700)
committerGitHub <noreply@github.com>
Thu, 21 Feb 2019 16:46:27 +0000 (23:46 +0700)
Fix -Wextra-semi warnings in headers used in Chromium


Trivial merge