Merge pull request #3676 from flx42/leveldb_include_fix
authorJeff Donahue <jeff.donahue@gmail.com>
Thu, 18 Feb 2016 07:30:12 +0000 (23:30 -0800)
committerJeff Donahue <jeff.donahue@gmail.com>
Thu, 18 Feb 2016 07:30:12 +0000 (23:30 -0800)
Remove useless LevelDB include


Trivial merge