Merge pull request #9299 from neheb/hgfhgh
authorRosen Penev <redacted>
Thu, 4 Jul 2019 19:11:38 +0000 (12:11 -0700)
committerGitHub <redacted>
Thu, 4 Jul 2019 19:11:38 +0000 (12:11 -0700)
protobuf: Update to 3.8.0


Trivial merge
git clone https://git.99rst.org/PROJECT