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)
commit93e7c195b3a35cace95b8d0a82d8bbd0ea0f0ba4
tree61bc6b40911e9bd6a10b532c3f312506cb620562
parenta7b7cf09f5945daffd1b6fc2ecfbd0e9604b40f7
parent8800e4b42d621a843d99a431186bdfbc9271a3eb
Merge pull request #3676 from flx42/leveldb_include_fix

Remove useless LevelDB include