]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commitdiff
Merge pull request #341 from fyrz/arc-lint
authorIgor Canadi <igor.canadi@gmail.com>
Tue, 7 Oct 2014 16:44:08 +0000 (09:44 -0700)
committerIgor Canadi <igor.canadi@gmail.com>
Tue, 7 Oct 2014 16:44:08 +0000 (09:44 -0700)
Removed code which prevents `arc lint` from working properly.


Trivial merge