Merge pull request #9977 from neheb/prot
authorRosen Penev <rosenp@gmail.com>
Fri, 20 Sep 2019 00:45:02 +0000 (17:45 -0700)
committerGitHub <noreply@github.com>
Fri, 20 Sep 2019 00:45:02 +0000 (17:45 -0700)
protobuf: Switch to CMake


Trivial merge