Skip to main content

Browse the archive

Revision 397495964b73f8fb90e9a4e1210d27ed429ce381 authored by Yanqin Jin on 21 June 2018, 18:09:09 UTC, committed by Facebook Github Bot on 21 June 2018, 18:13:09 UTC 
Fix a warning (treated as error) caused by type mismatch.
 
Summary: Closes https://github.com/facebook/rocksdb/pull/4032

Differential Revision: D8573061

Pulled By: riversand963

fbshipit-source-id: 112324dcb35956d6b3ec891073f4f21493933c8b
1 parent 7103559
History
File Mode Size
rocksdb
back to top