Merge pull request #216 from google/revert-120-master
authorShinichiro Hamaji <shinichiro.hamaji@gmail.com>
Wed, 26 Jul 2017 08:46:57 +0000 (17:46 +0900)
committerGitHub <noreply@github.com>
Wed, 26 Jul 2017 08:46:57 +0000 (17:46 +0900)
Revert "configure.ac: Allow user to disable gflags"


Trivial merge