• sdong's avatar
    Change Property name from "rocksdb.current_version_number" to... · 294bdf9e
    sdong authored
    Change Property name from "rocksdb.current_version_number" to "rocksdb.current-super-version-number"
    
    Summary: I realized I again is wrong about the naming convention. Let me change it to the correct one.
    
    Test Plan: Run unit tests.
    
    Reviewers: IslamAbdelRahman, kradhakrishnan, yhchiang, andrewkr
    
    Reviewed By: andrewkr
    
    Subscribers: leveldb, dhruba
    
    Differential Revision: https://reviews.facebook.net/D55041
    294bdf9e